Value comparisons (as distinct from variable pointer equality)
Value comparisons (as distinct from variable pointer equality)
Return the string often used as a prefix of the toString representation of this variable.
Return the string often used as a prefix of the toString representation of this variable.
Return a short string representation of this variable, suitable for debugging messages.
Return a short string representation of this variable, suitable for debugging messages.
Abstract method to return the value of this variable.
Abstract method to return the value of this variable.
An EdgeVar in which the "src" is constant, and the "dst" is mutable.