This is the root package for SARL, and contains the single class
SARL. That class provides static methods to
produce new symbolic universes. Those methods should be the starting point
for any typical user of SARL.
The "public interface" for SARL is defined in
edu.udel.cis.vsl.sarl.IF and its subpackages. The interfaces there
should be all that the typical user needs to know about. Only advanced users
who wish to extend or modify SARL in some way need to look into the other
ClassDescriptionThe SARL class provides static methods for creating new symbolic universes.