Package org.omwg.logicalexpression.terms

Interface Summary

BuiltInConstructedTerm	Built in contructed terms (symbols) represent such constructed terms that are defined as built-in.
ConstructedTerm	The interface for constructed terms (function symbols).
NumberedAnonymousID	An interface representing an anonymous numbered identifier
Term	This interface represents a term of a logical expression
Visitor	This interface represents a visitor for the terms of a logical expression tree structure.