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.

Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.