Uses of Package
dev.civl.sarl.IF.config
Packages that use dev.civl.sarl.IF.config
Package
Description
This is the root package for SARL, and contains the single class
SARL.The config module provides a
SARLConfig type, which
encapsulates configuration information such as the list of available theorem
provers with information on each.
Module "prove" constitutes the interface between SARL and (possibly external)
theorem provers.
Internal interface for the "universe" module.
-
Classes in dev.civl.sarl.IF.config used by dev.civl.sarlClassDescriptionAbstract interface representing information about an external theorem prover: what kind of prover it is, where it can be found, etc.A SARL configuration encapsulates information about the complete set of external theorem provers available to SARL.
-
Classes in dev.civl.sarl.IF.config used by dev.civl.sarl.IF.configClassDescriptionAbstract 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.
-
Classes in dev.civl.sarl.IF.config used by dev.civl.sarl.prove.IFClassDescriptionAbstract interface representing information about an external theorem prover: what kind of prover it is, where it can be found, etc.A SARL configuration encapsulates information about the complete set of external theorem provers available to SARL.
-
Classes in dev.civl.sarl.IF.config used by dev.civl.sarl.universe.IFClassDescriptionAbstract interface representing information about an external theorem prover: what kind of prover it is, where it can be found, etc.A SARL configuration encapsulates information about the complete set of external theorem provers available to SARL.