Uses of Enum Class
dev.civl.sarl.IF.type.SymbolicFunctionType.SpecialRelationKind

Packages that use SymbolicFunctionType.SpecialRelationKind

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.type	The type package provides interfaces for all of the symbolic types.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

Uses of SymbolicFunctionType.SpecialRelationKind in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF with parameters of type SymbolicFunctionType.SpecialRelationKind

Modifier and Type	Method	Description
SymbolicFunctionType	CoreUniverse.functionType(Iterable<? extends SymbolicType> inputTypes, SymbolicType outputType, SymbolicFunctionType.SpecialRelationKind relKind)	Returns the specified function type.

Uses of SymbolicFunctionType.SpecialRelationKind in dev.civl.sarl.IF.type

Methods in dev.civl.sarl.IF.type that return SymbolicFunctionType.SpecialRelationKind

Modifier and Type	Method	Description
SymbolicFunctionType.SpecialRelationKind	SymbolicFunctionType.specialRelationKind()
static SymbolicFunctionType.SpecialRelationKind	SymbolicFunctionType.SpecialRelationKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static SymbolicFunctionType.SpecialRelationKind[]	SymbolicFunctionType.SpecialRelationKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Uses of SymbolicFunctionType.SpecialRelationKind in dev.civl.sarl.type.IF

Methods in dev.civl.sarl.type.IF with parameters of type SymbolicFunctionType.SpecialRelationKind

Modifier and Type	Method	Description
SymbolicFunctionType	SymbolicTypeFactory.functionType(SymbolicTypeSequence inputTypes, SymbolicType outputType, SymbolicFunctionType.SpecialRelationKind relKind)	Creates a SymbolicFunctionType, which represents an abstract mathematical function