Package jazzparser :: Package formalisms :: Package base :: Package semantics :: Module lambdacalc :: Class DummyLogicalForm

[frames] | no frames]

Class DummyLogicalForm

source code

 object --+    
          |    
LogicalForm --+
              |
             DummyLogicalForm

Known Subclasses:

music_halfspan.semantics.DummyLogicalForm

A logical form that doesn't really represent anything, but implements the full interface of LogicalForm. You shouldn't use this class or even subclass it, as it essentially just bypasses the interface's requirements on subclasses.

It's useful for getting a formalism off the ground before you've got as far as implementing the semantics.

Instance Methods

[hide private]

alpha_convert(self, *args)
This should be overridden by subclasses.

source code

beta_reduce(self, *args, **kwargs)
This should be overridden by subclasses.

source code

substitute(self, *args)
This should be overridden by subclasses.

source code

replace_immediate_constituent(self, old, new)
This should be overridden by subclasses.

source code

get_variables(self)
This should be overridden by subclasses.

source code

get_bound_variables(self)
This should be overridden by subclasses.

source code

get_children(self)
This should be overridden by subclasses.

source code

alpha_equivalent(self, other, substitution)
This should be overridden by subclasses.

source code

__eq__(self, other)
This should be overridden by subclasses.

source code

copy(self)
This should be overridden by subclasses.

source code

__str__(self)
str(x)

source code

Inherited from LogicalForm: __init__, __ne__, __repr__, get_ancestor_bound_variables, get_instances, get_unbound_variables, replace_in_parent

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __subclasshook__

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

alpha_convert(self, *args)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.alpha_convert: (inherited documentation)

beta_reduce(self, *args, **kwargs)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.beta_reduce: (inherited documentation)

substitute(self, *args)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.substitute: (inherited documentation)

replace_immediate_constituent(self, old, new)

source code

This should be overridden by subclasses. It should replace the LogicalForm old_lf with new_lf if it appears as an immediate constituent of this LogicalForm.

Overrides: LogicalForm.replace_immediate_constituent: (inherited documentation)

get_variables(self)

source code

This should be overridden by subclasses.

This method returns a list of all the variables used in this LF. This includes bound and unbound variables. (Only unbound variables need to be alpha-converted to avoid accidental binding, but we will convert bound variables too for readability.)

Note that this only contains one instance of each variable, not every occurrence.

Overrides: LogicalForm.get_variables: (inherited documentation)

get_bound_variables(self)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.get_bound_variables: (inherited documentation)

get_children(self)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.get_children: (inherited documentation)

alpha_equivalent(self, other, substitution)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.alpha_equivalent: (inherited documentation)

eq(self, other)
(Equality operator)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.__eq__: (inherited documentation)

copy(self)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.copy: (inherited documentation)

str(self)
(Informal representation operator)

source code

str(x)

Overrides: object.__str__: (inherited documentation)

Class DummyLogicalForm

alpha_convert(self, *args)

beta_reduce(self, *args, **kwargs)

substitute(self, *args)

replace_immediate_constituent(self, old, new)

get_variables(self)

get_bound_variables(self)

get_children(self)

alpha_equivalent(self, other, substitution)

__eq__(self, other) (Equality operator)

copy(self)

__str__(self) (Informal representation operator)

eq(self, other)
(Equality operator)

str(self)
(Informal representation operator)