Interface MutableVarValue

All Known Implementing Classes:
BoundsVarValue, CircuitVarValue, Diff2VarValue, DisjointCondVarValue, MutableDomainValue

public interface MutableVarValue
Standard mutable variable's value definition
Version:
4.10
  • Method Summary

    Modifier and Type
    Method
    Description
    It clones the value of mutable variable.
    It returns the earlier value of mutable variable.
    void
    It replaces the earlier value of a mutable variable with value passed as parameter.
    void
    setStamp(int stamp)
    It sets the stamp of value of mutable variable.
    int
    It returns the stamp value of value of mutable variable.
    It returns string representation of the current value of mutable variable.
  • Method Details

    • clone

      Object clone()
      It clones the value of mutable variable. It includes the stamp, pointer to earlier value, and current value of variable.
      Returns:
      clone of the mutable variable value.
    • previous

      MutableVarValue previous()
      It returns the earlier value of mutable variable.
      Returns:
      earlier value of mutable variable.
    • setPrevious

      void setPrevious(MutableVarValue o)
      It replaces the earlier value of a mutable variable with value passed as parameter.
      Parameters:
      o - the previous value for this mutable variable.
    • setStamp

      void setStamp(int stamp)
      It sets the stamp of value of mutable variable.
      Parameters:
      stamp - the new stamp of value of mutable variable
    • stamp

      int stamp()
      It returns the stamp value of value of mutable variable.
      Returns:
      the current stamp of value of mutable variable.
    • toString

      String toString()
      It returns string representation of the current value of mutable variable.
      Overrides:
      toString in class Object