Package edu.udel.cis.vsl.sarl


package edu.udel.cis.vsl.sarl

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 (implementation) packages.

See Also:
  • Classes
    Class
    Description
    The SARL class provides static methods for creating new symbolic universes.