Package edu.udel.cis.vsl.sarl.prove.common

package edu.udel.cis.vsl.sarl.prove.common

This package provides implementation classes common to all theorem provers. It includes implementations of the interfaces ValidityResult and ModelResult. Code outside of module prove should use those interfaces, not the implementation classes defined here.

Classes

Class	Description
CommonModelResult	Straightforward implementation of ModelResult using a Java Map to store the mapping of symbolic constants to their concrete values.
CommonValidityResult	Straightforward implementation of ValidityResult.
MultiProver	An implementation of TheoremProver which wraps a sequence of underlying TheoremProvers.
MultiProverFactory	A factory for producing instances of MultiProver.