Module dev.civl.sarl

Package dev.civl.sarl.IF.expr

package dev.civl.sarl.IF.expr

The public interface package dealing with symbolic expressions. SymbolicExpression defines the interface for a symbolic expression, the root of the symbolic expression type hierarchy. Two sub-types are BooleanExpression (used for all expressions of boolean type) and NumericExpression (used for all expressions with a numeric type).

Related Packages

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.expr.valueSetReference
dev.civl.sarl.IF.config	The config module provides a SARLConfig type, which encapsulates configuration information such as the list of available theorem provers with information on each.
dev.civl.sarl.IF.number	The number package supports infinite-precision integer and rational numbers.
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.

Class	Description
ArrayElementReference	A reference to an element of an array.
BooleanExpression	A symbolic expression of boolean type.
BooleanSymbolicConstant	A SymbolicConstant 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).
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.
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	Represents a symbolic range of integer values.
SymbolicRange.RangeKind
TupleComponentReference	A reference into a specified field of a tuple value.
UnionMemberReference	A reference to a member of a SymbolicUnionType.