Package nltk_lite :: Package semantics :: Module logic :: Class ApplicationExpression

Class ApplicationExpression

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)

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)

Class ApplicationExpression

__init__(self, first, second) (Constructor)

equals(self, other)

variables(self)

free(self)

subterms(self)

replace(self, variable, expression)

simplify(self)

_skolemise(self, bound_vars, counter)

__str__(self) (Informal representation operator)

__repr__(self) (Representation operator)

__hash__(self) (Hashing function)

fun

op

args

init(self, first, second)
(Constructor)

str(self)
(Informal representation operator)

repr(self)
(Representation operator)

hash(self)
(Hashing function)