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

Packages that use SymbolicMapType

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

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

Modifier and Type	Method	Description
SymbolicMapType	CoreUniverse.mapType(SymbolicType keyType, SymbolicType valueType)	Under construction.

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

Modifier and Type	Method	Description
SymbolicExpression	CoreUniverse.emptyMap(SymbolicMapType mapType)
SymbolicTupleType	CoreUniverse.entryType(SymbolicMapType mapType)	Returns a tuple type which has two components: component 0 is the key type of the map type; component 1 is the value type of the map type.

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

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

Modifier and Type	Method	Description
SymbolicMapType	SymbolicTypeFactory.mapType(SymbolicType keyType, SymbolicType valueType)

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

Modifier and Type	Method	Description
SymbolicTupleType	SymbolicTypeFactory.entryType(SymbolicMapType mapType)