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

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

Internal interface for the "universe" module. Currently provides just a single class Universes, which provides static methods for the creation of new SymbolicUniverses.

See Also:

• SymbolicUniverse
• CoreUniverse

Classes

Class	Description
Universes	This class provides static methods for the creation of new SymbolicUniverses.