Package aterm :: Module term :: Class List
[frames] | no frames]

Class List




Base class for list terms.

Instance Methods
 
__nonzero__(self)
 
__len__(self)
 
__getitem__(self, index)
 
__iter__(self)
 
insert(self, index, element)
 
append(self, element)
 
extend(self, other)
 
reverse(self)
 
accept(self, visitor, *args, **kargs)
Accept a visitor.

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

Inherited from object: __getattribute__, __new__, __reduce__, __reduce_ex__

Properties

Inherited from object: __class__

Method Details

accept(self, visitor, *args, **kargs)

 
Accept a visitor.
Overrides: Term.accept
(inherited documentation)