|
|
ProverCommandDecorator
A base decorator for the ProverCommand class from
which concrete prover command decorators can extend.
|
|
|
ClosedDomainProver
This is a prover decorator that adds domain closure assumptions
before proving.
|
|
|
UniqueNamesProver
This is a prover decorator that adds unique names assumptions
before proving.
|
|
|
ClosedWorldProver
This is a prover decorator that completes predicates before
proving.
|
|
|
PredHolder
This class will be used by a dictionary that will store information
about predicates to be used by the ClosedWorldProver.
|