Package nltk :: Package inference :: Module nonmonotonic :: Class ProverCommandDecorator

Class ProverCommandDecorator

object --+
         |
        ProverCommandDecorator

Known Subclasses:

A base decorator for the ProverCommand class from which concrete prover command decorators can extend.

Instance Methods

[hide private]

__init__(self, proverCommand)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature

source code

prove(self, verbose=False)

source code

get_prover(self)

source code

add_assumptions(self, new_assumptions)

source code

retract_assumptions(self, retracted, debug=False)

source code

print_assumptions(self)

source code

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

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

init(self, proverCommand)
(Constructor)

source code

x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Parameters:

proverCommand - ProverCommand to decorate

Overrides: object.__init__

Class ProverCommandDecorator

__init__(self, proverCommand) (Constructor)

init(self, proverCommand)
(Constructor)