Package nltk :: Package inference :: Module api :: Class TheoremToolCommand

Class TheoremToolCommand

object --+
         |
        TheoremToolCommand

Known Subclasses:

This class holds a goal and a list of assumptions to be used in proving or model building.

Instance Methods

[hide private]

__init__(self, goal=None, assumptions=[])
x.__init__(...) initializes x; see x.__class__.__doc__ for signature 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

assumptions(self)
List the current assumptions.

source code

goal(self)
Return the goal

source code

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

source code

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

Instance Variables

[hide private]

_goal
The logic expression to prove.

_assumptions
The set of expressions to use as assumptions in the proof.

_result
A holder for the result, so prevent unnecessary re-proving

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

init(self, goal=None, assumptions=`[]`)
(Constructor)

source code

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

Parameters:

goal (logic.Expression) - Input expression to prove
assumptions (list of logic.Expression) - Input expressions to use as assumptions in the proof.

Overrides: object.__init__

add_assumptions(self, new_assumptions)

source code

Add new assumptions to the assumption list.

Parameters:

new_assumptions (list of sem.logic.Expressions) - new assumptions

retract_assumptions(self, retracted, debug=False)

source code

Retract assumptions from the assumption list.

Parameters:

debug (bool) - If True, give warning when retracted is not present on assumptions list.
retracted (list of sem.logic.Expressions) - assumptions to be retracted

Instance Variable Details

[hide private]

_goal

The logic expression to prove. logic.Expression

_assumptions

The set of expressions to use as assumptions in the proof. list of logic.Expression

Class TheoremToolCommand

__init__(self, goal=None, assumptions=[]) (Constructor)

add_assumptions(self, new_assumptions)

retract_assumptions(self, retracted, debug=False)

_goal

_assumptions

init(self, goal=None, assumptions=`[]`)
(Constructor)