Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicMapType

All Superinterfaces:

SymbolicObject, SymbolicType

public interface SymbolicMapType
extends SymbolicType

T map type is a type consisting of two components: a key type K and a value type V. A map value consists of a set of ordered pair of the form (k,v), where k is in K and v is in V, and such that for any k0, there is at most one v such that (k0,v) is in the set. It is very similar to the function type from K to V, but the domain of the map does not have to be all of K.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.type.SymbolicType

SymbolicType.SymbolicTypeKind

Method Summary

Modifier and Type	Method	Description
SymbolicType	keyType()	Returns the type of the domain (keys).
SymbolicType	valueType()	Returns the type of the range (values).

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, containsSubobjectIgnoringType, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Methods inherited from interface dev.civl.sarl.IF.type.SymbolicType

isBoolean, isChar, isHerbrand, isIdeal, isInteger, isNumeric, isReal, typeKind

Method Details

keyType

SymbolicType keyType()

Returns the type of the domain (keys).

Returns:

the key type

valueType

SymbolicType valueType()

Returns the type of the range (values).

Returns:

the value type