Package wugle.expression

Generic Expression framework.

See:
Description

Interface Summary

Associative	BinaryOperator that can perform the Associative Laws.
BinaryOperator	Operator with two children.
Commutative	BinaryOperator that can perform the Commutative Law.
DeMorgans
Distributive
Dominatable
Dominator
DoubleComplement
DoubleNegatable
Expression	Generic Expression that has a symbol and can have a parent Operator.
Idempotent
Identity
Operator	An Expression that can have children.
UnaryOperator	An Operator with one child Expression.
Value	Expression that has a value.

Class Summary

AbstractBinaryOperator	An abstract implementation of BinaryOperator.
AbstractExpression	An abstract implementation of Expression.
AbstractUnaryOperator	An abstract implementation of UnaryOperator.
AbstractValue	An abstract implementation of Value.
ExpressionOperation	Delegation object for various operations.

Package wugle.expression Description

Generic Expression framework. This is a framework that describes common algebras for manipulating expressions. Expressions, in this case, are anything that fits within this framework or can be described by the given algebras. The main test case is Propositional Logic, and as such most of the examples are given within that context.