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

Packages that use SymbolicFunctionType

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

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

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

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

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

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