Packages

o

edu.cmu.cs.ls.keymaerax.tools

KeYmaeraXTool

object KeYmaeraXTool extends Tool

The KeYmaera X tool, initializes the pretty printer.

Created by smitsch on 4/27/15.

Linear Supertypes
Tool, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. KeYmaeraXTool
  2. Tool
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val INIT_DERIVATION_INFO_REGISTRY: String

    Configuration option: whether or not to initialize the axiom and tactic library (default: true)

  5. val INTERPRETER: String

    Interpreter, one of "LazySequentialInterpreter" | "ExhaustiveSequentialInterpreter"

  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def cancel(): Boolean

    Cancels the current tool operation and returns true on success, false otherwise.

    Cancels the current tool operation and returns true on success, false otherwise.

    Definition Classes
    KeYmaeraXToolTool
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def init(config: Map[String, String]): Unit

    Initializes the tool with tool-specific configuration parameters.

    Initializes the tool with tool-specific configuration parameters.

    Definition Classes
    KeYmaeraXToolTool
  15. def isInitialized: Boolean

    Checks whether this tool has been initialized already.

    Checks whether this tool has been initialized already.

    Definition Classes
    KeYmaeraXToolTool
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. val name: String

    Returns the name of the tool.

    Returns the name of the tool.

    Definition Classes
    KeYmaeraXToolTool
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. def restart(): Unit

    Check whether the managed tool is still alive and restart it if need be.

    Check whether the managed tool is still alive and restart it if need be.

    Definition Classes
    KeYmaeraXToolTool
  22. def shutdown(): Unit

    Shutdown the tool

    Shutdown the tool

    Definition Classes
    KeYmaeraXToolTool
  23. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Tool

Inherited from AnyRef

Inherited from Any

Ungrouped