Package nltk :: Package inference :: Module tableau :: Class Agenda

type Agenda

object --+
         |
        Agenda

Instance Methods

source code

clone(self)

source code

__getitem__(self, index)

source code

put(self, expression, context=None)

source code

put_all(self, expressions)

source code

put_atoms(self, atoms)

source code

pop_first(self)
Pop the first expression that appears in the agenda

source code

replace_all(self, old, new)

source code

mark_alls_fresh(self)

source code

mark_neqs_fresh(self)

source code

_categorize_expression(self, current)

source code

_categorize_NegatedExpression(self, current)

source code

Method Details