nltk.inference.tableau.Agenda

class documentation

class Agenda(object): (source)

View In Hierarchy

Undocumented

Method __getitem__ Undocumented
Method __init__ Undocumented
Method clone Undocumented
Method mark_alls_fresh Undocumented
Method mark_neqs_fresh Undocumented
Method pop_first Pop the first expression that appears in the agenda
Method put Undocumented
Method put_all Undocumented
Method put_atoms Undocumented
Method replace_all Undocumented
Instance Variable sets Undocumented
Method _categorize_expression Undocumented
Method _categorize_NegatedExpression Undocumented
def __getitem__(self, index): (source)

Undocumented

def __init__(self): (source)

Undocumented

def clone(self): (source)

Undocumented

def mark_alls_fresh(self): (source)

Undocumented

def mark_neqs_fresh(self): (source)

Undocumented

def pop_first(self): (source)

Pop the first expression that appears in the agenda

def put(self, expression, context=None): (source)

Undocumented

def put_all(self, expressions): (source)

Undocumented

def put_atoms(self, atoms): (source)

Undocumented

def replace_all(self, old, new): (source)

Undocumented

sets = (source)

Undocumented

def _categorize_expression(self, current): (source)

Undocumented

def _categorize_NegatedExpression(self, current): (source)

Undocumented