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 like function symbols or datatype wrappers
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.