Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicFunctionType

All Superinterfaces:

SymbolicObject, SymbolicType

public interface SymbolicFunctionType
extends SymbolicType

A function type is specified by the number and types of inputs, and a single output type. It represents an abstract (mathematical) function from the Cartesian product of the input sets to the output set.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	SymbolicFunctionType.SpecialRelationKind

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
SymbolicTypeSequence	inputTypes()	The ordered sequence of input types.
SymbolicType	outputType()	The output type, a non-null symbolic type.
SymbolicFunctionType.SpecialRelationKind	specialRelationKind()

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

inputTypes

SymbolicTypeSequence inputTypes()

The ordered sequence of input types. These can be any number (including 0) of non-null types.

Returns:

the inputs type sequence

outputType

SymbolicType outputType()

The output type, a non-null symbolic type.

Returns:

the output type

specialRelationKind

SymbolicFunctionType.SpecialRelationKind specialRelationKind()

Returns:

the SymbolicFunctionType.SpecialRelationKind if this function type represents a special relation kind. Note SymbolicFunctionType.SpecialRelationKind.NONE means the function type is not representing a special relation.