Trait

inox.tip

TipDebugger

Related Doc: package tip

Permalink

trait TipDebugger extends Solver

Linear Supertypes
Solver, AbstractSolver, Interruptible, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TipDebugger
  2. Solver
  3. AbstractSolver
  4. Interruptible
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Assumptions = Set[Trees]

    Permalink
    Definition Classes
    AbstractSolver

  2. class DebugPrinter extends Printer

    Permalink
    Attributes
    protected

  3. type Model = inox.Model { val program: TipDebugger.this.program.type }

    Permalink
    Definition Classes
    Solver → AbstractSolver

  4. case class SolverUnsupportedError(t: Tree, reason: Option[String] = None) extends UnsupportedTree with Product with Serializable

    Permalink
    Definition Classes
    AbstractSolver

  5. type Trees = ast.Trees.Expr

    Permalink
    Definition Classes
    Solver → AbstractSolver

Abstract Value Members

  1. abstract val context: Context

    Permalink
    Definition Classes
    AbstractSolver

  2. abstract def declare(vd: ast.Trees.ValDef): Unit

    Permalink
    Definition Classes
    Solver

  3. abstract val encoder: ProgramTransformer { ... /* 2 definitions in type refinement */ }

    Permalink
    Attributes
    protected

  4. abstract def interrupt(): Unit

    Permalink
    Definition Classes
    Interruptible

  5. abstract def name: String

    Permalink
    Definition Classes
    AbstractSolver

  6. abstract def pop(): Unit

    Permalink
    Definition Classes
    AbstractSolver

  7. abstract val program: Program

    Permalink
    Definition Classes
    AbstractSolver

  8. abstract def push(): Unit

    Permalink
    Definition Classes
    AbstractSolver

  9. abstract def reset(): Unit

    Permalink
    Definition Classes
    AbstractSolver

Concrete Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. object SolverUnsupportedError extends Serializable

    Permalink
    Definition Classes
    AbstractSolver

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def assertCnstr(expr: ast.Trees.Expr): Unit

    Permalink
    Definition Classes
    TipDebugger → AbstractSolver

  7. def check(config: CheckConfiguration): Response[Model, Assumptions]

    Permalink
    Definition Classes
    TipDebugger → AbstractSolver

  8. def checkAssumptions(config: Configuration)(assumptions: Set[ast.Trees.Expr]): Response[Model, Assumptions]

    Permalink
    Definition Classes
    TipDebugger → AbstractSolver

  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. def dbg(msg: ⇒ Any): Unit

    Permalink
    Definition Classes
    AbstractSolver

  11. lazy val debugOut: Option[Printer]

    Permalink
    Attributes
    protected

  12. implicit val debugSection: DebugSection

    Permalink
    Definition Classes
    AbstractSolver

  13. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  15. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  16. def free(): Unit

    Permalink
    Definition Classes
    TipDebugger → AbstractSolver

  17. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  18. def getResultSolver: Option[Solver]

    Permalink
    Definition Classes
    Solver

  19. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  21. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  26. def unsupported(t: Tree, str: String): Nothing

    Permalink
    Attributes
    protected
    Definition Classes
    AbstractSolver

  27. def unsupported(t: Tree): Nothing

    Permalink
    Attributes
    protected
    Definition Classes
    AbstractSolver

  28. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  30. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Solver

Inherited from AbstractSolver

Inherited from Interruptible

Inherited from AnyRef

Inherited from Any

Ungrouped