Package aterm :: Module term :: Class Lit

Class Lit

Base class for literal terms.

Instance Methods

__init__(self, factory, value)

getValue(self)

Inherited from Term: __delattr__, __eq__, __hash__, __ne__, __repr__, __setattr__, __str__, accept, getHash, getStructuralHash, getType, isEqual, isEquivalent, rmatch, writeToTextFile

Inherited from object: __getattribute__, __new__, __reduce__, __reduce_ex__

Properties
Inherited from `object`: `__class__`

Method Details