ua.gradsoft.termware.debug
Class UnificationDebugStub

java.lang.Object
  ua.gradsoft.termware.debug.UnificationDebugStub

public abstract class UnificationDebugStub
extends Object

Base for unification debug stub.

Author:

rssh

Field Summary

protected Term	pattern
protected boolean	result
protected Substitution	substitution
protected Term	term

Constructor Summary

UnificationDebugStub(Term t, Term p, Substitution s)

Method Summary

abstract boolean

getResult() Generated subclasses override call of this method by t.freeUnify(pattern,s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

term

protected Term term

pattern

protected Term pattern

substitution

protected Substitution substitution

result

protected boolean result

Constructor Detail

UnificationDebugStub

public UnificationDebugStub(Term t,
                            Term p,
                            Substitution s)
                     throws TermWareException

Throws:

TermWareException

Method Detail

getResult

public abstract boolean getResult()

Generated subclasses override call of this method by t.freeUnify(pattern,s)