Module dev.civl.sarl

Package dev.civl.sarl.universe.IF

package dev.civl.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.