Package edu.udel.cis.vsl.sarl.universe.common

package edu.udel.cis.vsl.sarl.universe.common

Implementations of SymbolicUniverses. Most of the services are already provided by edu.udel.cis.vsl.sarl.preuniverse.IF, and edu.udel.cis.vsl.sarl.reason.IF, so there is only a little bit more here to bring the pieces together.

Classes

Class	Description
CommonSymbolicUniverse	A standard implementation of SymbolicUniverse, relying heavily on a given NumericExpressionFactory for dealing with numeric issues and a BooleanExpressionFactory for dealing with boolean expressions.
MathUniverse