Value Members

1.  final def !=(arg0: scala.Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: scala.Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def BuildConstraints(cfg: CFG, path: Vector[Int]): List[Expression]

   Shorthand to BuildConstraintsAux

   Shorthand to BuildConstraintsAux

   cfg

   the graph to work on

   path

   the path to rename recursively

5.  def BuildConstraintsAux(cfg: CFG, path: Vector[Int], idx: Int, variableCounters: Map[Variable, Int]): List[Expression]

   Recursive function to rename variables on a path execution, (Single static assignment one a path)

   Recursive function to rename variables on a path execution, (Single static assignment one a path)

   cfg

   the graph to work on

   path

   the path to rename recursively

   idx

   the current position on the path

   variableCounters

   current state of variables (number of times encoutered)

   returns

   list of binary expression (to consider as a conjunction)

   Example:

   1. the program X := 0; X:= 1-X becomes X_0 := 0; X_1:= 1-X_0

6.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

8.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

9.  def equals(arg0: scala.Any): Boolean

   Definition Classes

   AnyRef → Any

10.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

11.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

12.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

13.  def identifyVariables(exp: Expression): Vector[Variable]

    Identifies which variables are present in a expression

    Identifies which variables are present in a expression

    exp

    the expression to look into

14.  def identifyVariables(exp: Expression): Vector[Variable]

    Identifies which variables are present in a expression

    Identifies which variables are present in a expression

    exp

    the expression to look into

15.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

16.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

17.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

18.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

19.  def replaceVariables(cmd: Expression, variables: Map[Variable, Int]): Expression

    Replaces all variables with integer suffixed variables

    Replaces all variables with integer suffixed variables

    cmd

    binary expression

    variables

    variable to counter

20.  def replaceVariables(cmd: Expression, variables: Map[Variable, Int]): Expression

    Replaces all variables with integer suffixed variables

    Replaces all variables with integer suffixed variables

    cmd

    arithmetic expression

    variables

    variable to counter

21.  def replaceVariables(cmd: Command, variables: Map[Variable, Int]): Command

    Replaces all variables with integer suffixed variables

    Replaces all variables with integer suffixed variables

    cmd

    command

    variables

    variable to counter

22.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

23.  def toString(): String

    Definition Classes

    AnyRef → Any

24.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

25.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

26.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )