Uses of Interface
dev.civl.sarl.IF.type.SymbolicRealType

Packages that use SymbolicRealType

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

Uses of SymbolicRealType in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return SymbolicRealType

Modifier and Type	Method	Description
SymbolicRealType	CoreUniverse.herbrandRealType()	Returns the Herbrand real type.
SymbolicRealType	CoreUniverse.realType()	The "ideal" real type, representing the set of mathematical real numbers.

Uses of SymbolicRealType in dev.civl.sarl.type.IF

Methods in dev.civl.sarl.type.IF that return SymbolicRealType

Modifier and Type	Method	Description
SymbolicRealType	SymbolicTypeFactory.herbrandRealType()
SymbolicRealType	SymbolicTypeFactory.realType()