Packages

c

edu.cmu.cs.ls.keymaerax.btactics

NoneToolProvider

class NoneToolProvider extends ToolProvider

A tool provider without tools.

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

Instance Constructors

  1. new NoneToolProvider()

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. def algebraTool(): Option[AlgebraTool]

    Returns an algebra tool for algebraic computations.

    Returns an algebra tool for algebraic computations.

    Definition Classes
    NoneToolProviderToolProvider
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def cexTool(): Option[CounterExampleTool]

    Returns a counterexample tool.

    Returns a counterexample tool.

    Definition Classes
    NoneToolProviderToolProvider
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. def defaultTool(): Option[Tool]

    Returns the default tool

    Returns the default tool

    Definition Classes
    NoneToolProviderToolProvider
  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(): Boolean

    Initializes the tools.

    Initializes the tools.

    Definition Classes
    NoneToolProviderToolProvider
  15. def invGenTool(name: Option[String] = None): Option[InvGenTool]
    Definition Classes
    NoneToolProviderToolProvider
  16. def isInitialized: Boolean

    Indicates whether the tool is initialized.

    Indicates whether the tool is initialized.

    Definition Classes
    NoneToolProviderToolProvider
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def lyapunovTool(): Option[LyapunovSolverTool]

    Returns a Control Lyapunov Function solver.

    Returns a Control Lyapunov Function solver.

    Definition Classes
    NoneToolProviderToolProvider
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. def odeTool(): Option[ODESolverTool]

    Returns an ODE tool.

    Returns an ODE tool.

    Definition Classes
    NoneToolProviderToolProvider
  23. def pdeTool(): Option[PDESolverTool]

    Returns a PDE tool.

    Returns a PDE tool.

    Definition Classes
    NoneToolProviderToolProvider
  24. def qeTool(name: Option[String] = None): Option[QETacticTool]

    Returns a QE tool.

    Returns a QE tool.

    Definition Classes
    NoneToolProviderToolProvider
  25. def shutdown(): Unit

    Shutdown the tools provided by this provider.

    Shutdown the tools provided by this provider. After shutdown, the provider hands out None only.

    Definition Classes
    NoneToolProviderToolProvider
  26. def simplifierTool(): Option[SimplificationTool]

    Returns an arithmetic/logical simplification tool

    Returns an arithmetic/logical simplification tool

    Definition Classes
    NoneToolProviderToolProvider
  27. def simulationTool(): Option[SimulationTool]

    Returns a simulation tool.

    Returns a simulation tool.

    Definition Classes
    NoneToolProviderToolProvider
  28. def solverTool(): Option[EquationSolverTool]

    Returns an equation solver tool.

    Returns an equation solver tool.

    Definition Classes
    NoneToolProviderToolProvider
  29. def sosSolveTool(): Option[SOSsolveTool]

    Returns a SOSsolve tool.

    Returns a SOSsolve tool.

    Definition Classes
    NoneToolProviderToolProvider
  30. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  31. def toString(): String
    Definition Classes
    AnyRef → Any
  32. def tool(name: String): Option[Tool]

    Returns the tool with name

    Returns the tool with name

    Definition Classes
    ToolProvider
  33. def tools(): List[Tool]

    The provided tools.

    The provided tools.

    Definition Classes
    NoneToolProviderToolProvider
  34. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from ToolProvider

Inherited from AnyRef

Inherited from Any

Ungrouped