nltk_lite.contrib.logic.AllExpression

Package nltk_lite :: Package contrib :: Module logic :: Class AllExpression

[show private | hide private]

Class AllExpression

          Expression --+    
                       |    
VariableBinderExpression --+
                           |
                          AllExpression

A universal quantification expression: all x.M.

Method Summary
	`__repr__(self)`
Inherited from `VariableBinderExpression`: `__init__`, `__hash__`, `__str__`, `alpha_convert`, `equals`, `free`, `replace`, `simplify`, `subterms`, `variables` Inherited from `Expression`: `__eq__`, `__ne__`, `skolemise`

Class Variable Summary
`str`	`PREFIX` = `'all '`

Class Variable Details

PREFIX

Type:: str
Value:: 'all '

Generated by Epydoc 2.1 on Tue Sep 5 09:37:20 2006

http://epydoc.sf.net