Package edu.udel.cis.vsl.sarl.expr.common
package edu.udel.cis.vsl.sarl.expr.common
Implementation classes for generic symbolic expressions, symbolic expression
factories, and a comparator on symbolic expressions.
-
ClassesClassDescriptionCommonArrayElement Reference extends the CommonNTReference superclass and implements the ArrayElementReference interface.CommonExpressionFactory is used to create many CommonExpressions.The identity reference I, which is characterized by the property that dereference(value, I)==value for any symbolic expression value.A standard implementation of NTReferenceExpression, used to represent a non-trivial reference.The "null reference" is a useless reference value not equal to any of the other reference values and which cannot be dereferenced.Given a numeric factory that deals with expressions of ideal type, and a numeric factory that deals with expressions of herbrand type, this factory puts them together to work on any numeric type.CommonOfsetReference extends the CommonNTReference superclass and implements the OffsetReference interface.Abstract Reference Symbolic Expression.A "symbolic constant" is a symbol used in symbolic execution to represent an input value.Implementation of a non-trivial reference to a TupleComponentImplementation of a non-trivial reference to a UnionMemberComparator of symbolic expressions.HomogeneousExpression<T extends SymbolicObject>Implementation of
SymbolicExpressionin which every argument belongs to some typeTwhich extendsSymbolicObject.The factory provides interfaces for creating instances ofValueSetReferences operations overValueSetReferences