This package and its subpackages provide the "public interface" to SARL. The interfaces in these packages provide all the functionality that a typical user needs to know. The most important interface defined here is SymbolicUniverse. To obtain an instance of a SymbolicUniverse, use one of the static methods in SARL. In addition the types defined directly in this package, the public interface comprises the following subpackages:
See Also: