Packages

c

edu.cmu.cs.ls.keymaerax.btactics

WolframScriptToolProvider

case class WolframScriptToolProvider(config: ToolProvider.Configuration) extends WolframToolProvider[Mathematica] with Product with Serializable

A tool provider that initializes tools to Wolfram Script backend.

Linear Supertypes
Serializable, Serializable, Product, Equals, WolframToolProvider[Mathematica], PreferredToolProvider[Mathematica], ToolProvider, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WolframScriptToolProvider
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. WolframToolProvider
  7. PreferredToolProvider
  8. ToolProvider
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new WolframScriptToolProvider(config: ToolProvider.Configuration)

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
    PreferredToolProviderToolProvider
  5. def alternativeTool[S](name: Option[String], factory: (Option[String]) ⇒ Option[S]): Option[S]
    Attributes
    protected
    Definition Classes
    WolframToolProvider
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def cexTool(): Option[CounterExampleTool]

    Returns a counterexample tool.

    Returns a counterexample tool.

    Definition Classes
    PreferredToolProviderToolProvider
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  9. val config: ToolProvider.Configuration
  10. def defaultTool(): Option[Tool]

    Returns the default tool

    Returns the default tool

    Definition Classes
    PreferredToolProviderToolProvider
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def init(): Boolean

    Initializes the tools.

    Initializes the tools.

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

    Indicates whether the tool is initialized.

    Indicates whether the tool is initialized.

    Definition Classes
    PreferredToolProviderToolProvider
  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
    PreferredToolProviderToolProvider
  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
    PreferredToolProviderToolProvider
  23. def pdeTool(): Option[PDESolverTool]

    Returns a PDE tool.

    Returns a PDE tool.

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

    Returns a QE tool.

    Returns a QE tool.

    Definition Classes
    WolframToolProviderPreferredToolProviderToolProvider
  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
    PreferredToolProviderToolProvider
  26. def simplifierTool(): Option[SimplificationTool]

    Returns an arithmetic/logical simplification tool

    Returns an arithmetic/logical simplification tool

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

    Returns a simulation tool.

    Returns a simulation tool.

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

    Returns an equation solver tool.

    Returns an equation solver tool.

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

    Returns a SOSsolve tool.

    Returns a SOSsolve tool.

    Definition Classes
    PreferredToolProviderToolProvider
  30. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  31. def tool(name: String): Option[Tool]

    Returns the tool with name

    Returns the tool with name

    Definition Classes
    ToolProvider
  32. val tool: Mathematica
    Definition Classes
    WolframToolProvider
  33. val toolPreferences: List[Mathematica]
    Definition Classes
    PreferredToolProvider
  34. def tools(): List[Tool]

    The provided tools.

    The provided tools.

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from ToolProvider

Inherited from AnyRef

Inherited from Any

Ungrouped