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

Packages that use SymbolicType

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.expr	The public interface package dealing with symbolic expressions.
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 SymbolicType in dev.civl.sarl.expr.IF

Methods in dev.civl.sarl.expr.IF that return SymbolicType

Modifier and Type	Method	Description
SymbolicType	ExpressionFactory.referenceType()
SymbolicType	ExpressionFactory.valueSetReferenceType()
SymbolicType	ExpressionFactory.valueSetTemplateType()	Returns the type of a value set template.

Methods in dev.civl.sarl.expr.IF with parameters of type SymbolicType

Modifier and Type	Method	Description
NumericExpression	NumericExpressionFactory.cast(NumericExpression numericExpression, SymbolicType newType)	Returns a NumericExpression with the symbolic type passed in the second argument
SymbolicExpression	ExpressionFactory.expression(SymbolicExpression.SymbolicOperator operator, SymbolicType type, SymbolicObject... arguments)	Returns an expression with the given operator, type, and argument sequence.
NumericExpression	NumericExpressionFactory.expression(SymbolicExpression.SymbolicOperator operator, SymbolicType numericType, SymbolicObject... arguments)	Returns an expression, given the operator, type, and array of arguments
boolean	ExpressionFactory.isValueSetTemplateType(SymbolicType type)
SymbolicConstant	ExpressionFactory.symbolicConstant(StringObject name, SymbolicType type)
NumericSymbolicConstant	NumericExpressionFactory.symbolicConstant(StringObject name, SymbolicType type)
BooleanExpression	ExpressionFactory.valueSetContains(SymbolicType valueType, SymbolicExpression refArr0, SymbolicExpression refArr1)	Test if an array of value set references "refArr0", that is associated with the given "valueType", contains another array of value set references "refArr1", that is associated with the given "valueType" as well.
SymbolicExpression	ExpressionFactory.valueSetDiff(SymbolicType valueType, SymbolicExpression refArr0, SymbolicExpression refArr1)
SymbolicExpression	ExpressionFactory.valueSetElimWidening(Reasoner reasoner, SymbolicType valueType, SymbolicExpression refArr, SymbolicExpression elimExpr, NumericExpression lower, NumericExpression upper)
SymbolicExpression	ExpressionFactory.valueSetProtectiveWidening(Reasoner reasoner, SymbolicType valueType, SymbolicExpression refArrM, SymbolicExpression refArrP)
BooleanExpression	ExpressionFactory.valueSetRefereceNoIntersect(SymbolicType valueType, ValueSetReference ref0, ValueSetReference ref1)	Tests if the two given ValueSetReferences have NO intersection, i.e., if applying the two reference to the same object, if their referred parts have no overlap.
SymbolicExpression	ExpressionFactory.valueSetTemplate(SymbolicType valueType, ValueSetReference[] vsRefs)	Given a symbolic type of a symbolic value and a list of ValueSetReferences, returns symbolic expression representing a value set template.
SymbolicExpression	ExpressionFactory.valueSetWidening(Reasoner reasoner, SymbolicType valueType, SymbolicExpression refArr)	Apply a default widening operator to a value set template, which is in the form of an array of value set references and a symbolic type that is referred by these references.

Uses of SymbolicType in dev.civl.sarl.ideal.IF

Methods in dev.civl.sarl.ideal.IF with parameters of type SymbolicType

Modifier and Type	Method	Description
RationalExpression	IdealFactory.expression(SymbolicExpression.SymbolicOperator operator, SymbolicType numericType, SymbolicObject... arguments)
Monic	IdealFactory.monic(SymbolicType type, PrimitivePower[] factorSet)	Returns a (possibly trivial) monic as specified.
Constant	IdealFactory.one(SymbolicType type)	Returns either the integer number one (1) or the real number 1 (1.0).
Monomial[]	IdealFactory.oneTermMap(SymbolicType type)	Returns a invalid reference SymbolicMap with a single entry mapping the monic One to itself.
Polynomial	IdealFactory.polynomial(SymbolicType type, Monomial[] terms)	Produces the result of summing the Monomials of a term map as a Polynomial.
Monomial[]	IdealFactory.powerTermMap(SymbolicType type, Monomial[] map, NumberObject exponent)	Raises a term map to the given power, returning the result as a term map.
Constant	IdealFactory.zero(SymbolicType type)	Returns either the integer constant 0 or the real constant 0, according to the given type.

Uses of SymbolicType in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
SymbolicType	CoreUniverse.booleanType()	The boolean type.
SymbolicType	CoreUniverse.characterType()	Returns the character type.
SymbolicType	CoreUniverse.pureType(SymbolicType type)	Returns the "pure" version of the type, i.e., the compatible SymbolicType that contains no SymbolicExpressions.
SymbolicType	CoreUniverse.referencedType(SymbolicType type, ReferenceExpression reference)	Returns the type referenced by a reference into an expression of the given type.
SymbolicType	CoreUniverse.referenceType()	Returns the type of all reference expressions.
SymbolicType	CoreUniverse.valueSetReferenceType()
SymbolicType	CoreUniverse.valueSetTemplateType()	Returns the type of a value set template.
SymbolicType	CoreUniverse.valueType(SymbolicExpression valueSetTemplate)	Returns the SymbolicType of values, to which the given value set template refers.

Methods in dev.civl.sarl.IF that return types with arguments of type SymbolicType

Modifier and Type	Method	Description
dev.civl.sarl.util.Pair<Integer,SymbolicType>	CoreUniverse.arrayDimensionAndBaseType(SymbolicArrayType type)	Returns the dimension and base type of an array type.

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

Modifier and Type	Method	Description
SymbolicExpression	CoreUniverse.array(SymbolicType elementType, SymbolicExpression[] elements)	Creates a concrete array expression backed by the given Java array.
SymbolicExpression	CoreUniverse.array(SymbolicType elementType, Iterable<? extends SymbolicObject> elements)	Returns the concrete array consisting of given sequence of elements.
SymbolicArrayType	CoreUniverse.arrayType(SymbolicType elementType)	Returns the incomplete array type with the given element type.
SymbolicCompleteArrayType	CoreUniverse.arrayType(SymbolicType elementType, NumericExpression extent)	Returns the complete array type with the given element type and extent (array length).
SymbolicExpression	CoreUniverse.cast(SymbolicType newType, SymbolicExpression expression)	Casts expression to new type.
BooleanExpression	CoreUniverse.compatible(SymbolicType type0, SymbolicType type1)	Returns a boolean expression which holds iff the two types are compatible.
SymbolicExpression	CoreUniverse.constantArray(SymbolicType elementType, NumericExpression length, SymbolicExpression value)	Returns an array in which every element has the same value.
SymbolicExpression	CoreUniverse.emptyArray(SymbolicType elementType)	Returns array of length 0.
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.
SymbolicExpression	CoreUniverse.make(SymbolicExpression.SymbolicOperator operator, SymbolicType type, SymbolicObject[] arguments)	Applies the given operator to the arguments and returns the resulting expression in the form used by this universe.
SymbolicMapType	CoreUniverse.mapType(SymbolicType keyType, SymbolicType valueType)	Under construction.
SymbolicType	CoreUniverse.pureType(SymbolicType type)	Returns the "pure" version of the type, i.e., the compatible SymbolicType that contains no SymbolicExpressions.
SymbolicType	CoreUniverse.referencedType(SymbolicType type, ReferenceExpression reference)	Returns the type referenced by a reference into an expression of the given type.
SymbolicSetType	CoreUniverse.setType(SymbolicType elementType)	Returns the type for "set of T"; not yet implemented.
SymbolicConstant	CoreUniverse.symbolicConstant(StringObject name, SymbolicType type)	Returns the SymbolicConstant with the given name and type.
SymbolicExpression	CoreUniverse.valueSetTemplate(SymbolicType valueType, ValueSetReference[] vsRefs)	Given a symbolic type of a symbolic value and a list of ValueSetReferences, returns symbolic expression representing a value set template.

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

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.
SymbolicTupleType	CoreUniverse.tupleType(StringObject name, Iterable<? extends SymbolicType> fieldTypes)	Returns the tuple type defined by the given sequence of component types.
SymbolicUnionType	CoreUniverse.unionType(StringObject name, Iterable<? extends SymbolicType> memberTypes)	Returns the type which is the union of the given member types.

Uses of SymbolicType in dev.civl.sarl.IF.expr

Methods in dev.civl.sarl.IF.expr that return SymbolicType

Modifier and Type	Method	Description
SymbolicType	SymbolicConstant.type()	Returns the type of this symbolic constant.
SymbolicType	SymbolicExpression.type()	Returns the type of this symbolic expression.

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

Subinterfaces of SymbolicType in dev.civl.sarl.IF.type

Modifier and Type	Interface	Description
interface	SymbolicArrayType	An array type T[].
interface	SymbolicCompleteArrayType	A complete array type specifies not only the element type but also the extent (length) of the array.
interface	SymbolicFunctionType	A function type is specified by the number and types of inputs, and a single output type.
interface	SymbolicIntegerType	SymbolicIntegerType is an interface that contains representation for a Symbolic Integer Type: It has three kinds: - herbrand: it doesn't do simplifications, when used in equations - ideal: - bounded: Also it has a method to return the kind of the integer.
interface	SymbolicMapType	T map type is a type consisting of two components: a key type K and a value type V.
interface	SymbolicRealType	A real number type.
interface	SymbolicSetType	The type representing a set.
interface	SymbolicTupleType	A tuple type is specified by (1) a name, and (2) an ordered, finite sequence of component types.
interface	SymbolicUninterpretedType	This class represents uninterpreted types.
interface	SymbolicUnionType	A union type of a sequence of types t_i.

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

Modifier and Type	Method	Description
SymbolicType	SymbolicArrayType.baseType()
SymbolicType	SymbolicArrayType.elementType()	The type of each element of the array, a non-null symbolic type.
SymbolicType	SymbolicSetType.elementType()	The type of the elements of the set.
SymbolicType	SymbolicTypeSequence.getType(int index)	Returns the index-th type in this sequence.
SymbolicType	SymbolicMapType.keyType()	Returns the type of the domain (keys).
SymbolicType	SymbolicFunctionType.outputType()	The output type, a non-null symbolic type.
SymbolicType	SymbolicMapType.valueType()	Returns the type of the range (values).

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

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

Modifier and Type	Method	Description
void	ObjectFactory.setTypeComparator(Comparator<SymbolicType> c)	Sets the type comparator of for this factory.

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

Method parameters in dev.civl.sarl.preuniverse.IF with type arguments of type SymbolicType

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

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

Modifier and Type	Method	Description
SymbolicType	SymbolicTypeFactory.booleanType()
SymbolicType	SymbolicTypeFactory.characterType()
SymbolicType	SymbolicTypeFactory.pureType(SymbolicType type)	The pureType of t1 is t1 after removing the length for example, CommonSymbolicCompleteArrayType(type1) should have the same pureType as CommonSymbolicArrayType(type1)

Methods in dev.civl.sarl.type.IF that return types with arguments of type SymbolicType

Modifier and Type	Method	Description
Comparator<SymbolicType>	SymbolicTypeFactory.typeComparator()	Creates a TypeComparator that is used to compare SymbolicTypes

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

Modifier and Type	Method	Description
SymbolicArrayType	SymbolicTypeFactory.arrayType(SymbolicType elementType)	Creates a SymbolicArrayType that has elements of type elementType
SymbolicCompleteArrayType	SymbolicTypeFactory.arrayType(SymbolicType elementType, NumericExpression extent)	Creates a SymbolicCompleteArrayType
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
SymbolicMapType	SymbolicTypeFactory.mapType(SymbolicType keyType, SymbolicType valueType)
SymbolicType	SymbolicTypeFactory.pureType(SymbolicType type)	The pureType of t1 is t1 after removing the length for example, CommonSymbolicCompleteArrayType(type1) should have the same pureType as CommonSymbolicArrayType(type1)
SymbolicTypeSequence	SymbolicTypeFactory.sequence(SymbolicType[] elements)	Creates a SymbolicTypeSequecne from an array of SymbolicType
SymbolicSetType	SymbolicTypeFactory.setType(SymbolicType elementType)
SymbolicTypeSequence	SymbolicTypeFactory.singletonSequence(SymbolicType type)	Creates a SymbolicTypeSequence of 1 element that has a SymbolicType

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

Modifier and Type	Method	Description
SymbolicTypeSequence	SymbolicTypeFactory.sequence(Iterable<? extends SymbolicType> elements)	Creates a SymbolicTypeSequence from a list of SymbolicTypes