Class Real

Real literal term.

Instance Methods

__init__(self, factory, value)

__float__(self)

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

Inherited from Lit: getValue

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 = `0x02`

Properties
Inherited from `object`: `__class__`

Method Details

Accept a visitor.