Class Table

A table is mapping of terms to terms.

Instance Methods

init(binding, trm, ctx)

set(binding, trm, ctx)
Setting a [key, value] list will add the pair to the table.

unset(binding, trm, ctx)
Setting a [key, value] list will add the pair to the table.

clear(binding, trm, ctx)
Clears all elements of the table.

match(binding, trm, ctx)
Lookups the key matching the term in the table.

build(binding, trm, ctx)
Builds a list all keys in the table.

congruent(binding, trm, ctx)
Lookups the key matching to the term in the table and return its associated value.

Add(self, other)

Filter(self, transf)

Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __str__

Properties
Inherited from `object`: `__class__`

Method Details

Decorators:

Setting a [key, value] list will add the pair to the table. Setting a [key] list will remove the key and its value from the table.

Decorators:

Setting a [key, value] list will add the pair to the table. Setting a [key] list will remove the key and its value from the table.

Decorators:

Clears all elements of the table.

Decorators:

Lookups the key matching the term in the table.

Decorators:

Builds a list all keys in the table.

Decorators:

Lookups the key matching to the term in the table and return its associated value.

Decorators: