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

Packages that use SymbolicTupleType

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

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

Modifier and Type	Method	Description
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.
SymbolicTupleType	CoreUniverse.tupleType(StringObject name, Iterable<? extends SymbolicType> fieldTypes)	Returns the tuple type defined by the given sequence of component types.

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

Modifier and Type	Method	Description
SymbolicExpression	CoreUniverse.tuple(SymbolicTupleType type, SymbolicExpression[] components)	Returns the concrete tuple with the given members.
SymbolicExpression	CoreUniverse.tuple(SymbolicTupleType type, Iterable<? extends SymbolicObject> components)	Returns the concrete tuple expression with the given tuple components.

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

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

Modifier and Type	Method	Description
SymbolicTupleType	SymbolicTypeFactory.entryType(SymbolicMapType mapType)
SymbolicTupleType	SymbolicTypeFactory.tupleType(StringObject name, SymbolicTypeSequence fieldTypes)	Creates a SymbolicTupleType