Classes to build logical expressions in tree form.
Package Specification
The classes in this package can be used to build up logical expressions which can be used
lateron to reason about the truth of an expression. Each expression takes other expressions
as parameters and can produce a logical evaluation of those ones.
@author chitec/Dirk Hillbrecht 2000-2002