Package aterm :: Module build :: Class Term

Class Term

Builds a term. Used for building terminal terms such as the literal terms and empty list terms.

Instance Methods

__init__(self, term)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Inherited from Builder: build

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

Properties
Inherited from `object`: `__class__`

Method Details

init(self, term)
(Constructor)

x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Overrides: object.__init__: (inherited documentation)

Class Term

__init__(self, term) (Constructor)

init(self, term)
(Constructor)