Uses of Package
dev.civl.sarl.IF.expr

Packages that use dev.civl.sarl.IF.expr

Package	Description
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.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.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.prove.IF	Module "prove" constitutes the interface between SARL and (possibly external) theorem provers.
dev.civl.sarl.reason.IF	The internal interface for the "reason" module, which deals with Reasoners --- objects used to prove theorems and simplify symbolic expressions.
dev.civl.sarl.simplify.IF	Interfaces for the simplification of symbolic expressions.
dev.civl.sarl.type.IF	Internal interface for the "type" module, providing a SymbolicTypeFactory for producing SymbolicType s.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.IF

Class	Description
ArrayElementReference	A reference to an element of an array.
BooleanExpression	A symbolic expression of boolean type.
NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
NumericSymbolicConstant	A SymbolicConstant which has integer or real type, i.e., type belonging to SymbolicIntegerType or SymbolicRealType.
OffsetReference	A reference to some point which is specified by an integer "offset" from another reference.
ReferenceExpression	An expression representing a way to reference into values.
SymbolicConstant	A "symbolic constant" is a symbol used in symbolic execution to represent an input value.
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.
SymbolicExpression.SymbolicOperator	An enumerated type for the different kinds of symbolic expressions.
TupleComponentReference	A reference into a specified field of a tuple value.
UnionMemberReference	A reference to a member of a SymbolicUnionType.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.IF.expr

Class	Description
BooleanExpression	A symbolic expression of boolean type.
NTReferenceExpression	A non-trivial ReferenceExpression, i.e., one which is not the null reference or the identity reference.
NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
ReferenceExpression	An expression representing a way to reference into values.
ReferenceExpression.ReferenceKind	The different kinds of references.
SymbolicConstant	A "symbolic constant" is a symbol used in symbolic execution to represent an input value.
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.
SymbolicExpression.SymbolicOperator	An enumerated type for the different kinds of symbolic expressions.
SymbolicRange.RangeKind

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.IF.expr.valueSetReference

Class	Description
NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.IF.object

Class	Description
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.IF.type

Class	Description
NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.expr.IF

Class	Description
ArrayElementReference	A reference to an element of an array.
BooleanExpression	A symbolic expression of boolean type.
BooleanSymbolicConstant	A SymbolicConstant of boolean type.
NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
NumericSymbolicConstant	A SymbolicConstant which has integer or real type, i.e., type belonging to SymbolicIntegerType or SymbolicRealType.
OffsetReference	A reference to some point which is specified by an integer "offset" from another reference.
ReferenceExpression	An expression representing a way to reference into values.
SymbolicConstant	A "symbolic constant" is a symbol used in symbolic execution to represent an input value.
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.
SymbolicExpression.SymbolicOperator	An enumerated type for the different kinds of symbolic expressions.
SymbolicRange	Represents a symbolic range of integer values.
TupleComponentReference	A reference into a specified field of a tuple value.
UnionMemberReference	A reference to a member of a SymbolicUnionType.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.ideal.IF

Class	Description
BooleanExpression	A symbolic expression of boolean type.
NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.
SymbolicExpression.SymbolicOperator	An enumerated type for the different kinds of symbolic expressions.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.object.IF

Class	Description
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.preuniverse.IF

Class	Description
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.prove.IF

Class	Description
BooleanExpression	A symbolic expression of boolean type.
SymbolicConstant	A "symbolic constant" is a symbol used in symbolic execution to represent an input value.
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.reason.IF

Class	Description
BooleanExpression	A symbolic expression of boolean type.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.simplify.IF

Class	Description
BooleanExpression	A symbolic expression of boolean type.
NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.

Classes in dev.civl.sarl.IF.expr used by dev.civl.sarl.type.IF

Class	Description
NumericExpression	Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).
SymbolicExpression	An instance SymbolicExpression represents a symbolic expression.