Overview  Package   Class  Use  Tree  Index  Help 
Building Parsers with Java
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

sjm.engine
Interface BooleanTerm

All Known Implementing Classes:
Comparison, FunctionComparison
public interface BooleanTerm
extends Term

This marker interface indicates a type of term that evaluates to a Boolean.

Methods inherited from interface sjm.engine.Term
copyForProof, eval, isList, listTailString, unify, unify, unify, variables
 

Overview  Package   Class  Use  Tree  Index  Help 
by Steve Metsker
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD