Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicTypeSequence

All Superinterfaces:

Iterable<SymbolicType>, SymbolicObject

public interface SymbolicTypeSequence
extends Iterable<SymbolicType>, SymbolicObject

A finite, ordered sequence of SymbolicType.

Nested Class Summary

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

SymbolicObject.SymbolicObjectKind

Method Summary

Modifier and Type	Method	Description
SymbolicType	getType(int index)	Returns the index-th type in this sequence.
int	numTypes()	Returns the number of types in this sequence.

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

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

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

Method Details

numTypes

int numTypes()

Returns the number of types in this sequence.

Returns:

the number of types

getType

SymbolicType getType(int index)

Returns the index-th type in this sequence.

Parameters:

index - an integer in range [0,n-1], where n is the number of types in this sequence

Returns:

the index-th type