Package edu.udel.cis.vsl.sarl.expr.cnf

package edu.udel.cis.vsl.sarl.expr.cnf

This package deals with the represention of boolean symbolic expressions in a conjunctive normal form.

Classes

Class	Description
BooleanPrimitive	A representation of a BooleanExpression using Conjunctive Normal Form.
CnfFactory	A CNF factory is an implementation of BooleanExpressionFactory that works by putting all boolean expressions into a conjunctive normal form.
CnfSymbolicConstant
CompoundBooleanExpression