Packages

c

edu.cmu.cs.ls.keymaerax.tools.ext

JLinkMathematicaLink

class JLinkMathematicaLink extends MathematicaLink with Logging

A link to Mathematica using the JLink interface.

Linear Supertypes
Logging, LazyLogging, LoggerHolder, MathematicaLink, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. JLinkMathematicaLink
  2. Logging
  3. LazyLogging
  4. LoggerHolder
  5. MathematicaLink
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new JLinkMathematicaLink(engineName: String)

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def cancel(): Boolean

    Cancels the current request.

    Cancels the current request.

    returns

    True if job is successfully cancelled, or False if the new status is unknown.

    Definition Classes
    JLinkMathematicaLinkMathematicaLink
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  7. val engineName: String
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def init(linkName: String, jlinkLibDir: Option[String], tcpip: String, remainingTrials: Int = 5): Boolean

    Initializes the connection to Mathematica.

    Initializes the connection to Mathematica.

    linkName

    The name of the link to use (platform-dependent, see Mathematica documentation, or a port number if on TCPIP)

    returns

    true if initialization was successful

    Note

    Must be called before first use of ml

  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. lazy val logger: Logger
    Attributes
    protected
    Definition Classes
    LazyLogging → LoggerHolder
  16. final val loggerName: String
    Attributes
    protected
    Definition Classes
    LoggerHolder
  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. def restart(): Unit

    Restarts the Mathematica connection

  21. def run[T](cmd: () ⇒ T, executor: ToolExecutor): T

    Runs a Mathematica command on the specified executor, converts the result back with converter.

    Runs a Mathematica command on the specified executor, converts the result back with converter.

    T

    The exact KeYmaera X expression type expected as result.

    cmd

    The command to run. Disposed as a result of this method.

    executor

    Executes commands (scheduled).

    returns

    The result, as string and as KeYmaera X expression.

    Definition Classes
    JLinkMathematicaLinkMathematicaLink
  22. def runUnchecked[T](cmd: String, m2k: M2KConverter[T]): (String, T)

    Runs the command and then halts program execution until answer is returned.

    Runs the command and then halts program execution until answer is returned.

    T

    The exact KeYmaera X expression type expected as result.

    cmd

    The Mathematica command.

    m2k

    The converter Mathematica->KeYmaera X

    returns

    The result, as string and as KeYmaera X expression.

    Definition Classes
    JLinkMathematicaLinkMathematicaLink
  23. def shutdown(): Unit

    Closes the connection to Mathematica.

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

Inherited from Logging

Inherited from LazyLogging

Inherited from LoggerHolder

Inherited from MathematicaLink

Inherited from AnyRef

Inherited from Any

Ungrouped