Package nltk_lite :: Package contrib :: Module logic :: Class AllExpression
[show private | hide private]
[frames | no frames]

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