Uses of Interface
dev.civl.sarl.IF.object.SymbolicObject

Packages that use SymbolicObject

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.expr.valueSetReference
dev.civl.sarl.IF.object	The object package provides the SymbolicObject interface, which is the root of the symbolic object type hierarchy.
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.

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

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

Modifier and Type	Method	Description
BooleanExpression	BooleanExpressionFactory.booleanExpression(SymbolicExpression.SymbolicOperator operator, SymbolicObject... args)	Returns an expression, given the operator and an array of arguments
boolean	BooleanExpressionFactory.containsArgument(BooleanExpression expression, SymbolicObject arg)	Is one of the arguments of the given expression equal to arg?
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

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

Subinterfaces of SymbolicObject in dev.civl.sarl.ideal.IF

Modifier and Type	Interface	Description
interface	Constant	A constant, i.e., a concrete number.
interface	Monic	A Monic is a product of powers of primitive expressions x1i 1*...*xnin, where the x i are primitives and the ij are positive concrete ints.
interface	Monomial	A Monomial is the product of a constant and a Monic.
interface	Polynomial	A polynomial: an expression which is the sum of monomials.
interface	Primitive	A numeric primitive expression, e.g., a symbolic constant of numeric type, an array read expression of numeric type, or a tuple read expression of numeric type.
interface	PrimitivePower	A power of a Primitive expression, xi, where x is a Primitive and i is a concrete positive int.
interface	RationalExpression	A RationalExpression is the quotient of two Monomials of real type.

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

Modifier and Type	Method	Description
RationalExpression	IdealFactory.expression(SymbolicExpression.SymbolicOperator operator, SymbolicType numericType, SymbolicObject... arguments)

Uses of SymbolicObject in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
SymbolicObject	CoreUniverse.objectWithId(int id)	Gets the canonic SymbolicObject belonging to this universe with the given ID number.

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

Modifier and Type	Method	Description
Comparator<SymbolicObject>	CoreUniverse.comparator()	Returns a comparator on the set of all symbolic objects.

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

Modifier and Type	Method	Description
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.

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

Modifier and Type	Method	Description
SymbolicExpression	CoreUniverse.array(SymbolicType elementType, Iterable<? extends SymbolicObject> elements)	Returns the concrete array consisting of given sequence of elements.
SymbolicExpression	CoreUniverse.tuple(SymbolicTupleType type, Iterable<? extends SymbolicObject> components)	Returns the concrete tuple expression with the given tuple components.

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

Subinterfaces of SymbolicObject in dev.civl.sarl.IF.expr

Modifier and Type	Interface	Description
interface	ArrayElementReference	A reference to an element of an array.
interface	BooleanExpression	A symbolic expression of boolean type.
interface	BooleanSymbolicConstant	A SymbolicConstant of boolean type.
interface	NTReferenceExpression	A non-trivial ReferenceExpression, i.e., one which is not the null reference or the identity reference.
interface	NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
interface	NumericSymbolicConstant	A SymbolicConstant which has integer or real type, i.e., type belonging to SymbolicIntegerType or SymbolicRealType.
interface	OffsetReference	A reference to some point which is specified by an integer "offset" from another reference.
interface	ReferenceExpression	An expression representing a way to reference into values.
interface	SymbolicConstant	A "symbolic constant" is a symbol used in symbolic execution to represent an input value.
interface	SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.
interface	TupleComponentReference	A reference into a specified field of a tuple value.
interface	UnionMemberReference	A reference to a member of a SymbolicUnionType.

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

Modifier and Type	Method	Description
SymbolicObject	SymbolicExpression.argument(int index)	Returns the i-th argument (child) of the operator.

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

Modifier and Type	Method	Description
Iterable<? extends SymbolicObject>	SymbolicExpression.getArguments()	Returns the sequence of arguments as an Iterable object.

Uses of SymbolicObject in dev.civl.sarl.IF.expr.valueSetReference

Subinterfaces of SymbolicObject in dev.civl.sarl.IF.expr.valueSetReference

Modifier and Type	Interface	Description
interface	NTValueSetReference	A non-trivial ValueSetReference, i.e., one which is not the identity reference.
interface	ValueSetReference
interface	VSArrayElementReference	A reference to an (set-of) element(s) of a (set-of) array value(s).
interface	VSArraySectionReference	A reference to a (set-of) section(s) of a (set-of) array(s).
interface	VSIdentityReference	A reference to a single object value.
interface	VSOffsetReference	A reference to some point(s) which is specified by an integer "offset" from another value set reference.
interface	VSTupleComponentReference	A reference into a (set-of) specified field(s) of a (set-of) tuple value(s).
interface	VSUnionMemberReference	A reference to a (set-of) members of a (set-of) union value(s).

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

Subinterfaces of SymbolicObject in dev.civl.sarl.IF.object

Modifier and Type	Interface	Description
interface	BooleanObject	A symbolic object wrapping a single boolean value.
interface	CharObject	A symbolic object wrapping a single char value.
interface	IntObject	A symbolic object wrapping a single Java "int" value.
interface	NumberObject	A symbolic object wrapping a single instance of Number.
interface	StringObject	A symbolic object wrapping a single String.
interface	SymbolicSequence<T extends SymbolicExpression>	A finite ordered immutable sequence of symbolic expressions.

Methods in dev.civl.sarl.IF.object with parameters of type SymbolicObject

Modifier and Type	Method	Description
boolean	SymbolicObject.containsSubobject(SymbolicObject obj)	Does this symbolic object contain a sub-object equal to the given one?
boolean	SymbolicObject.containsSubobjectIgnoringType(SymbolicObject obj)

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

Subinterfaces of SymbolicObject 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	SymbolicType	A symbolic type represents the type of a symbolic expression.
interface	SymbolicTypeSequence	A finite, ordered sequence of SymbolicType.
interface	SymbolicUninterpretedType	This class represents uninterpreted types.
interface	SymbolicUnionType	A union type of a sequence of types t_i.

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

Methods in dev.civl.sarl.object.IF with type parameters of type SymbolicObject

Modifier and Type	Method	Description
<T extends SymbolicObject> T	ObjectFactory.canonic(T object)	Returns the canonic representative of the object's equivalence class.
<T extends SymbolicObject> void	ObjectFactory.canonize(T[] objectArray)	Canonizes each object in an array.

Methods in dev.civl.sarl.object.IF that return SymbolicObject

Modifier and Type	Method	Description
SymbolicObject	ObjectFactory.objectWithId(int index)	Gets the canonic object with the given ID number.

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

Modifier and Type	Method	Description
Comparator<SymbolicObject>	ObjectFactory.comparator()	Returns a Comparator on all SymbolicObjects.

Methods in dev.civl.sarl.object.IF with parameters of type SymbolicObject

Modifier and Type	Method	Description
<T extends SymbolicObject> void	ObjectFactory.canonize(T[] objectArray)	Canonizes each object in an array.