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

Packages that use SymbolicIntegerType

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 SymbolicIntegerType in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
SymbolicIntegerType	CoreUniverse.boundedIntegerType(NumericExpression min, NumericExpression max, boolean cyclic)	Returns the bounded integer types with specified upper and lower bounds.
SymbolicIntegerType	CoreUniverse.herbrandIntegerType()	Returns the Herbrand integer type.
SymbolicIntegerType	CoreUniverse.integerType()	The "ideal" integer type, representing the set of mathematical integers.

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

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

Modifier and Type	Method	Description
SymbolicIntegerType	SymbolicTypeFactory.boundedIntegerType(NumericExpression min, NumericExpression max, boolean cyclic)
SymbolicIntegerType	SymbolicTypeFactory.herbrandIntegerType()
SymbolicIntegerType	SymbolicTypeFactory.integerType()