Home | Trees | Indices | Help |
|
---|
|
object --+ | prover9.Prover9Parent --+ | object --+ | | | api.ModelBuilder --+ | Mace
|
|||
nltk.sem.evaluate.Valuation
|
|
||
Inherited from Inherited from |
|
|||
_valuation = None text output from running mace |
|
|||
Inherited from |
|
|||
Inherited from |
|
Use Mace4 to build a first order model.
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed Aug 27 15:08:55 2008 | http://epydoc.sourceforge.net |