Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

ua.gradsoft.javachecker
Interface ITermVisitor

public interface ITermVisitor

Method Summary
 boolean doFirst(Term t, TermHolder result, java.util.HashSet<Term> trace)
           
 boolean doSecond(Term t, TermHolder result, java.util.HashSet<Term> trace)
           
 

Method Detail

doFirst

boolean doFirst(Term t,
                TermHolder result,
                java.util.HashSet<Term> trace)
                throws TermWareException
Throws:
TermWareException

doSecond

boolean doSecond(Term t,
                 TermHolder result,
                 java.util.HashSet<Term> trace)
                 throws TermWareException
Throws:
TermWareException
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD