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

Packages that use SymbolicCompleteArrayType

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

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

Modifier and Type	Method	Description
SymbolicCompleteArrayType	CoreUniverse.arrayType(SymbolicType elementType, NumericExpression extent)	Returns the complete array type with the given element type and extent (array length).
SymbolicCompleteArrayType	CoreUniverse.bitVectorType(int length)	Returns the SymbolicCompleteArrayType representing a bitVectorType, which is an array of booleans with concrete length.

Methods in dev.civl.sarl.IF with parameters of type SymbolicCompleteArrayType

Modifier and Type	Method	Description
SymbolicExpression	CoreUniverse.arrayLambda(SymbolicCompleteArrayType arrayType, SymbolicExpression function)	Returns an expression representing an array with element type T defined by a function f from int to T.
SymbolicExpression	CoreUniverse.integer2Bitvector(NumericExpression integer, SymbolicCompleteArrayType bitVectorType)	Returns the conversion of a bit vector from an integer.

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

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

Modifier and Type	Method	Description
SymbolicCompleteArrayType	SymbolicTypeFactory.arrayType(SymbolicType elementType, NumericExpression extent)	Creates a SymbolicCompleteArrayType