Uses of Interface
dev.civl.sarl.IF.expr.valueSetReference.ValueSetReference

Packages that use ValueSetReference

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.expr.valueSetReference

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

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

Modifier and Type	Method	Description
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.
VSArrayElementReference	ExpressionFactory.vsArrayElementReference(ValueSetReference parent, NumericExpression index)	Given a value set reference to a (set-of) array(s) and an index (integer), returns a reference to the (set-of) elements of the (set-of) array(s) at that index
VSArraySectionReference	ExpressionFactory.vsArraySectionReference(ValueSetReference parent, NumericExpression lower, NumericExpression upper, NumericExpression step)	Given a reference to a (set-of) array(s) and an inclusive lower index bound, an exclusive upper index bound and a step, returns a reference to the (set-of) section(s) of the array(s) with the given bounds.
VSOffsetReference	ExpressionFactory.vsOffsetReference(ValueSetReference parent, NumericExpression offset)	Given a reference to a (set-of) value(s) and a integral offset, returns a reference to a (set-of) value(s), which is obtained by applying the (set-of) offset(s) to the given (set-of) value(s).
VSTupleComponentReference	ExpressionFactory.vsTupleComponentReference(ValueSetReference parent, IntObject fieldIndex)	Given a reference to a (set-of) tuple(s), and a field index, returns a reference to that (set-of) component(s) of the tuple(s).
VSUnionMemberReference	ExpressionFactory.vsUnionMemberReference(ValueSetReference parent, IntObject memberIndex)	Given a reference to a (set-of) union(s) (expression of union type) and an index of a member type of that union, returns a reference to the (set-of) underlying element(s).

Uses of ValueSetReference in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
Iterable<ValueSetReference>	CoreUniverse.valueSetReferences(SymbolicExpression valueSetTemplate)	Returns the set of ValueSetReferences in the given value set template.

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

Modifier and Type	Method	Description
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.
VSArrayElementReference	CoreUniverse.vsArrayElementReference(ValueSetReference parent, NumericExpression index)	Given a value set reference to a (set-of) array(s) and an index (integer), returns a reference to the (set-of) elements of the (set-of) array(s) at that index
VSArraySectionReference	CoreUniverse.vsArraySectionReference(ValueSetReference parent, NumericExpression lower, NumericExpression upper)	Given a reference to a (set-of) array(s) and an inclusive lower index bound, an exclusive upper index bound and a DEFAULT step, which is one, of the range of the section, returns a reference to the (set-of) section(s) of the array(s) with the given bounds.
VSArraySectionReference	CoreUniverse.vsArraySectionReference(ValueSetReference parent, NumericExpression lower, NumericExpression upper, NumericExpression step)	Given a reference to a (set-of) array(s) and an inclusive lower index bound, an exclusive upper index bound and a step of the range of the section, returns a reference to the (set-of) section(s) of the array(s) with the given bounds.
VSOffsetReference	CoreUniverse.vsOffsetReference(ValueSetReference parent, NumericExpression offset)	Given a reference to a (set-of) value(s) and a integral offset, returns a reference to a (set-of) value(s), which is obtained by applying the (set-of) offset(s) to the given (set-of) value(s).
VSTupleComponentReference	CoreUniverse.vsTupleComponentReference(ValueSetReference parent, IntObject fieldIndex)	Given a reference to a (set-of) tuple(s), and a field index, returns a reference to that (set-of) component(s) of the tuple(s).
VSUnionMemberReference	CoreUniverse.vsUnionMemberReference(ValueSetReference parent, IntObject memberIndex)	Given a reference to a (set-of) union(s) (expression of union type) and an index of a member type of that union, returns a reference to the (set-of) underlying element(s).

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

Subinterfaces of ValueSetReference 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	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).

Methods in dev.civl.sarl.IF.expr.valueSetReference that return ValueSetReference

Modifier and Type	Method	Description
ValueSetReference	NTValueSetReference.getParent()	As this is an VSArrayElementReference, VSArraySectionReference, VSOffsetReference, VSTupleComponentReference or VSUnionMemberReference, returns the reference to the parent, i.e.