nltk.inference.api.TheoremToolCommandDecorator

class documentation

class TheoremToolCommandDecorator(TheoremToolCommand): (source)

Known subclasses: nltk.inference.api.ModelBuilderCommandDecorator, nltk.inference.api.ProverCommandDecorator

Constructor: TheoremToolCommandDecorator(command)

View In Hierarchy

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

Method __init__ No summary
Method add_assumptions Add new assumptions to the assumption list.
Method assumptions List the current assumptions.
Method goal Return the goal
Method print_assumptions Print the list of the current assumptions.
Method retract_assumptions Retract assumptions from the assumption list.
Instance Variable _command Undocumented
Instance Variable _result Undocumented
def __init__(self, command): (source)
overridden in nltk.inference.api.ModelBuilderCommandDecorator, nltk.inference.api.ProverCommandDecorator
Parameters
commandTheoremToolCommand to decorate
def add_assumptions(self, new_assumptions): (source)
overrides nltk.inference.api.TheoremToolCommand.add_assumptions

Add new assumptions to the assumption list.

Parameters
new_assumptions:list(sem.Expression)new assumptions
def assumptions(self): (source)
overrides nltk.inference.api.TheoremToolCommand.assumptions
overridden in nltk.inference.nonmonotonic.ClosedDomainProver, nltk.inference.nonmonotonic.ClosedWorldProver, nltk.inference.nonmonotonic.UniqueNamesProver

List the current assumptions.

Returns
list of Expression
def goal(self): (source)
overrides nltk.inference.api.TheoremToolCommand.goal
overridden in nltk.inference.nonmonotonic.ClosedDomainProver

Return the goal

Returns
Expression
def print_assumptions(self): (source)
overrides nltk.inference.api.TheoremToolCommand.print_assumptions

Print the list of the current assumptions.

def retract_assumptions(self, retracted, debug=False): (source)
overrides nltk.inference.api.TheoremToolCommand.retract_assumptions

Retract assumptions from the assumption list.

assumptions list. :type debug: bool :param retracted: assumptions to be retracted :type retracted: list(sem.Expression)

Parameters
retractedUndocumented
debugIf True, give warning when retracted is not present on
_command = (source)

Undocumented

_result = (source)
overridden in nltk.inference.api.ModelBuilderCommandDecorator, nltk.inference.api.ProverCommandDecorator

Undocumented