Package nltk :: Package inference :: Module api :: Class TheoremToolCommandDecorator

type TheoremToolCommandDecorator

        object --+    
                 |    
TheoremToolCommand --+
                     |
                    TheoremToolCommandDecorator

Known Subclasses:

A base decorator for the ProverCommandDecorator and ModelBuilderCommandDecorator classes from which decorators can extend.

Instance Methods

[hide private]

__init__(self, command)

source code

assumptions(self)
List the current assumptions.

source code

goal(self)
Return the goal

source code

add_assumptions(self, new_assumptions)
Add new assumptions to the assumption list.

source code

retract_assumptions(self, retracted, debug=False)
Retract assumptions from the assumption list.

source code

print_assumptions(self)
Print the list of the current assumptions.

source code

Method Details

[hide private]

init(self, command)
(Constructor)

source code

Parameters:

command - TheoremToolCommand to decorate

Overrides: object.__init__

assumptions(self)

source code

List the current assumptions.

Returns:: list of Expression
Overrides: TheoremToolCommand.assumptions: (inherited documentation)

goal(self)

source code

Return the goal

Returns:: Expression
Overrides: TheoremToolCommand.goal: (inherited documentation)

add_assumptions(self, new_assumptions)

source code

Add new assumptions to the assumption list.

Parameters:

new_assumptions - new assumptions

Overrides: TheoremToolCommand.add_assumptions

(inherited documentation)

retract_assumptions(self, retracted, debug=False)

source code

Retract assumptions from the assumption list.

Parameters:

debug - If True, give warning when retracted is not present on assumptions list.
retracted - assumptions to be retracted

Overrides: TheoremToolCommand.retract_assumptions

(inherited documentation)

print_assumptions(self)

source code

Print the list of the current assumptions.

Overrides: TheoremToolCommand.print_assumptions: (inherited documentation)

type TheoremToolCommandDecorator

__init__(self, command) (Constructor)

assumptions(self)

goal(self)

add_assumptions(self, new_assumptions)

retract_assumptions(self, retracted, debug=False)

print_assumptions(self)

init(self, command)
(Constructor)