Class Appl

Application term.

Instance Methods

__init__(self, factory, name, args, annotations)

getArity(self)

setAnnotations(self, annotations)
Return a copy of this term with the given annotations.

removeAnnotations(self)
Return a copy of this term with all annotations removed.

accept(self, visitor, *args, **kargs)
Accept a visitor.

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

Inherited from object: __getattribute__, __new__, __reduce__, __reduce_ex__

Class Variables
	type = `0x20`

Properties
Inherited from `object`: `__class__`

Method Details

Accept a visitor.