Package nltk_lite :: Package semantics :: Module logic :: Class ApplicationExpression
[hide private]
[frames] | no frames]

Class ApplicationExpression

source code

Expression --+
             |
            ApplicationExpression
Known Subclasses:
parse.category.ApplicationExpressionSubst

An application expression: (M N).

Instance Methods [hide private]
 
__init__(self, first, second) source code
 
equals(self, other)
Are the two expressions equal, modulo alpha conversion?
source code
 
variables(self)
Set of all variables.
source code
 
free(self)
Set of free variables.
source code
 
_functor(self) source code
 
_operator(self) source code
 
_arglist(self)
Uncurry the argument list.
source code
 
_args(self) source code
 
subterms(self)
Set of all subterms (including self).
source code
 
replace(self, variable, expression)
Replace all instances of variable v with expression E in self, where v is free in self.
source code
 
simplify(self)
Evaluate the form by repeatedly applying applications.
source code
 
infixify(self) source code
 
_skolemise(self, bound_vars, counter) source code
 
__str__(self) source code
 
__repr__(self) source code
 
__hash__(self) source code

Inherited from Expression: __eq__, __ne__, skolemise

Properties [hide private]
  fun
Every ApplicationExpression has a functor.
  op
Only some ApplicationExpressions have operators.
  args
Every ApplicationExpression has args.
Method Details [hide private]

__init__(self, first, second)
(Constructor)

source code 
Overrides: Expression.__init__

equals(self, other)

source code 

Are the two expressions equal, modulo alpha conversion?

Overrides: Expression.equals
(inherited documentation)

variables(self)

source code 

Set of all variables.

Overrides: Expression.variables
(inherited documentation)

free(self)

source code 

Set of free variables.

Overrides: Expression.free
(inherited documentation)

subterms(self)

source code 

Set of all subterms (including self).

Overrides: Expression.subterms
(inherited documentation)

replace(self, variable, expression)

source code 

Replace all instances of variable v with expression E in self, where v is free in self.

Overrides: Expression.replace
(inherited documentation)

simplify(self)

source code 

Evaluate the form by repeatedly applying applications.

Overrides: Expression.simplify
(inherited documentation)

_skolemise(self, bound_vars, counter)

source code 
Overrides: Expression._skolemise

__str__(self)
(Informal representation operator)

source code 
Overrides: Expression.__str__

__repr__(self)
(Representation operator)

source code 
Overrides: Expression.__repr__

__hash__(self)
(Hashing function)

source code 
Overrides: Expression.__hash__

Property Details [hide private]

fun

Every ApplicationExpression has a functor.

Get Method:
_functor(self)

op

Only some ApplicationExpressions have operators.

Get Method:
_operator(self)

args

Every ApplicationExpression has args.

Get Method:
_args(self)