Package jazzparser :: Package formalisms :: Package base :: Package semantics :: Module lambdacalc :: Class DummyLogicalForm
[hide private]
[frames] | no frames]

Class DummyLogicalForm

source code

 object --+    
          |    
LogicalForm --+
              |
             DummyLogicalForm
Known Subclasses:

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)