Package edu.udel.cis.vsl.sarl.IF.config
package edu.udel.cis.vsl.sarl.IF.config
The config module provides a
SARLConfig type, which
encapsulates configuration information such as the list of available theorem
provers with information on each. The static methods of
Configurations are the
starting point.-
ClassDescriptionThis is the public interface for managing SARL configuration objects and files.Abstract interface representing information about an external theorem prover: what kind of prover it is, where it can be found, etc.A classification of the different kinds of theorem provers.A SARL configuration encapsulates information about the complete set of external theorem provers available to SARL.