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

type 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