Home | Trees | Indices | Help |
|
---|
|
object --+ | prover9.Prover9CommandParent --+ | object --+ | | | api.TheoremToolCommand --+ | | | api.ModelBuilderCommand --+ | MaceCommand
A MaceCommand specific to the Mace model builder. It contains the a print_assumptions() method that is used to print the list of assumptions in multiple formats.
|
|||
|
|||
nltk.sem.Valuation |
|
||
|
|||
|
|||
Inherited from Inherited from Inherited from Inherited from |
|
|||
|
|||
|
|
|||
Inherited from Inherited from |
|
|||
Inherited from |
|
|
Transform the output file into an NLTK-style Valuation.
|
Convert a Mace4-style relation table into a dictionary.
|
Pick an alphabetic character as identifier for an entity in the model.
|
Print out a Mace4 model using any Mace4
|
Transform the output file into any Mace4
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed Aug 27 15:08:55 2008 | http://epydoc.sourceforge.net |