Uses of Interface
aterm.ATermReal

Packages that use ATermReal

Package	Description
aterm
aterm.pure
aterm.pure.binary

Uses of ATermReal in aterm

Methods in aterm that return ATermReal

Modifier and Type	Method and Description
ATermReal	ATermFactory.makeReal(double val) Creates a new ATermReal object

Methods in aterm with parameters of type ATermReal

Modifier and Type	Method and Description
Visitable	ATermFwd.visitReal(ATermReal arg)
Visitable	Visitor.visitReal(ATermReal arg)
Visitable	ATermFwdVoid.visitReal(ATermReal arg)
void	ATermFwdVoid.voidVisitReal(ATermReal arg)

Uses of ATermReal in aterm.pure

Classes in aterm.pure that implement ATermReal

Modifier and Type	Class and Description
class	ATermRealImpl

Methods in aterm.pure that return ATermReal

Modifier and Type	Method and Description
ATermReal	PureFactory.makeReal(double val)
ATermReal	PureFactory.makeReal(double value, ATermList annos)

Uses of ATermReal in aterm.pure.binary

Methods in aterm.pure.binary with parameters of type ATermReal

Modifier and Type	Method and Description
void	BinaryWriter.voidVisitReal(ATermReal arg) Serializes the given real.