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

Class Agenda

object --+
         |
        Agenda

Instance Methods

[hide private]

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

source code

clone(self)

source code

__getitem__(self, index)

source code

put(self, expression)

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

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

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

init(self)
(Constructor)

source code

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

Overrides: object.__init__: (inherited documentation)

Class Agenda

__init__(self) (Constructor)

init(self)
(Constructor)