Packages

  • package root
    Definition Classes
    root
  • abstract class AbstractMachine[Exp, Abs, Addr, Time] extends AnyRef

    The interface of the abstract machine itself.

    The interface of the abstract machine itself. The abstract machine is parameterized by abstract values, addresses and expressions. Look into AAM.scala for an example of how to define these parameters

    Definition Classes
    root
  • Output

trait Output extends AnyRef

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Output
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def finalValues: Set[Abs]

    Returns the set of final values that can be reached by the abstract machine.

    Returns the set of final values that can be reached by the abstract machine. Example: the Scheme program (+ 1 2) has as final values the set {3} , in the concrete case.

  2. abstract def numberOfStates: Int

    Returns the number of states visited to evaluate the program

  3. abstract def time: Double

    Returns the time it took to evaluate the program

  4. abstract def timedOut: Boolean

    Does this output comes from a computation that timed out?

  5. abstract def toFile(path: String)(output: GraphOutput): Unit

    Outputs the graph computed by the machine in a file, according to the given output format

Concrete Value Members

  1. def containsFinalValue(v: Abs): Boolean

    Checks if the set of final values contains a value that subsumes @param v