Module dev.civl.sarl

Package dev.civl.sarl.IF.expr.valueSetReference

Interface VSIdentityReference

All Superinterfaces:

SymbolicExpression, SymbolicObject, ValueSetReference

public interface VSIdentityReference
extends ValueSetReference

A reference to a single object value.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.valueSetReference.ValueSetReference

ValueSetReference.VSReferenceKind

Method Summary

Methods inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, size, type

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, containsSubobjectIgnoringType, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Methods inherited from interface dev.civl.sarl.IF.expr.valueSetReference.ValueSetReference

isArrayElementReference, isArraySectionReference, isIdentityReference, isOffsetReference, isTupleComponentReference, isUnionMemberReference, valueSetReferenceKind