Home       Trees       Indices       Help   
nltk 2.0.1rc1
Package nltk :: Package inference :: Module api :: Class TheoremToolCommand
[hide private]
[frames] | no frames]

type TheoremToolCommand

source code

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]
 
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
Method Details [hide private]

add_assumptions(self, new_assumptions)

source code 

Add new assumptions to the assumption list.

Parameters:
  • new_assumptions (list of 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

assumptions(self)

source code 

List the current assumptions.

Returns:
list of Expression

goal(self)

source code 

Return the goal

Returns:
Expression

   Home       Trees       Indices       Help   
nltk 2.0.1rc1
Generated by Epydoc 3.0.1 on Mon Apr 11 14:39:47 2011 http://epydoc.sourceforge.net