Package nltk :: Package sem :: Module boxer :: Class BoxerNot
[hide private]
[frames] | no frames]

type BoxerNot

source code

      object --+    
               |    
AbstractBoxerDrs --+
                   |
                  BoxerNot

Instance Methods [hide private]
 
__init__(self, drs) source code
 
_variables(self)
Returns: (set<variables>, set<events>, set<propositions>)
source code
 
atoms(self) source code
 
clean(self) source code
 
renumber_sentences(self, f) source code
 
__repr__(self) source code
 
__eq__(self, other) source code

Inherited from AbstractBoxerDrs: __hash__, variable_types, variables

Inherited from AbstractBoxerDrs (private): _clean_name

Method Details [hide private]

__init__(self, drs)
(Constructor)

source code 
Overrides: object.__init__
(inherited documentation)

_variables(self)

source code 
Returns:
(set<variables>, set<events>, set<propositions>)
Overrides: AbstractBoxerDrs._variables
(inherited documentation)

atoms(self)

source code 
Overrides: AbstractBoxerDrs.atoms

clean(self)

source code 
Overrides: AbstractBoxerDrs.clean

renumber_sentences(self, f)

source code 
Overrides: AbstractBoxerDrs.renumber_sentences

__repr__(self)
(Representation operator)

source code 
Overrides: object.__repr__
(inherited documentation)