ua.gradsoft.termware.debug
Class UnificationDebugStub

java.lang.Object
  extended by 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)