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

Packages that use SymbolicTypeSequence

Package	Description
dev.civl.sarl.IF.type	The type package provides interfaces for all of the symbolic types.
dev.civl.sarl.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

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

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

Modifier and Type	Method	Description
SymbolicTypeSequence	SymbolicFunctionType.inputTypes()	The ordered sequence of input types.
SymbolicTypeSequence	SymbolicTupleType.sequence()	Returns the sequence of component types of this tuple object.
SymbolicTypeSequence	SymbolicUnionType.sequence()	The sequence of types comprising this union.

Uses of SymbolicTypeSequence in dev.civl.sarl.object.IF

Method parameters in dev.civl.sarl.object.IF with type arguments of type SymbolicTypeSequence

Modifier and Type	Method	Description
void	ObjectFactory.setTypeSequenceComparator(Comparator<SymbolicTypeSequence> c)	Sets the type sequence comparator of this factory.

Uses of SymbolicTypeSequence in dev.civl.sarl.preuniverse.IF

Methods in dev.civl.sarl.preuniverse.IF that return SymbolicTypeSequence

Modifier and Type	Method	Description
SymbolicTypeSequence	PreUniverse.typeSequence(Iterable<? extends SymbolicType> types)	Given an iterable collection of SymbolicTypes, returns a SymbolicTypeSequence conatining those SymbolicTypes

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

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

Modifier and Type	Method	Description
SymbolicTypeSequence	SymbolicTypeFactory.sequence(SymbolicType[] elements)	Creates a SymbolicTypeSequecne from an array of SymbolicType
SymbolicTypeSequence	SymbolicTypeFactory.sequence(Iterable<? extends SymbolicType> elements)	Creates a SymbolicTypeSequence from a list of SymbolicTypes
SymbolicTypeSequence	SymbolicTypeFactory.singletonSequence(SymbolicType type)	Creates a SymbolicTypeSequence of 1 element that has a SymbolicType

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

Modifier and Type	Method	Description
SymbolicFunctionType	SymbolicTypeFactory.functionType(SymbolicTypeSequence inputTypes, SymbolicType outputType)	Creates a SymbolicFunctionType, which represents an abstract mathematical function
SymbolicFunctionType	SymbolicTypeFactory.functionType(SymbolicTypeSequence inputTypes, SymbolicType outputType, SymbolicFunctionType.SpecialRelationKind relKind)	Creates a SymbolicFunctionType, which represents an abstract mathematical function
SymbolicTupleType	SymbolicTypeFactory.tupleType(StringObject name, SymbolicTypeSequence fieldTypes)	Creates a SymbolicTupleType
SymbolicUnionType	SymbolicTypeFactory.unionType(StringObject name, SymbolicTypeSequence memberTypes)	Creates a SymbolicUnionType