Package nltk :: Package inference :: Module prover9 :: Class Prover9CommandParent

Class Prover9CommandParent

object --+
         |
        Prover9CommandParent

Known Subclasses:

mace.MaceCommand
, Prover9Command

A common base class used by both Prover9Command and MaceCommand, which is responsible for maintaining a goal and a set of assumptions, and generating prover9-style input files from them.

Instance Methods

[hide private]

print_assumptions(self, output_format='nltk')
Print the list of the current assumptions. source code

Inherited from object: __delattr__, __getattribute__, __hash__, __init__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Properties

[hide private]

Inherited from object: __class__