package VRESystem
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- case class AlignmentFromMitMStep(system: String, mitm: Term, extern: Term) extends MitMComputationStep with Product with Serializable
- case class AlignmentToMitMStep(system: String, extern: Term, mitm: Term) extends MitMComputationStep with Product with Serializable
- case class InitialTerm(term: Term) extends MitMComputationStep with Product with Serializable
-
class
MitMComputation extends Logger
provides computation via all available VRESystems
-
abstract
class
MitMComputationStep extends MitMTracePart
adds functions for conveniently tracing computation steps
-
class
MitMComputationTrace extends AnyRef
used for tracing computation run by VREComputation
- case class MitMFailure(error: Error) extends MitMTracePart with Product with Serializable
-
abstract
class
MitMTracePart extends AnyRef
used in MitMComputationTrace
- case class SCSCPLocation(hostO: Option[String], portO: Option[Int]) extends Product with Serializable
- case class SCSCPReceive(system: String, received: OMAny, out: Term) extends MitMComputationStep with Product with Serializable
- case class SCSCPSend(system: String, in: Term, sent: OMAny) extends MitMComputationStep with Product with Serializable
-
trait
UsesAlignments extends VRESystem
mixin for VREWithAlignmentAndSCSCP, provides transtions to/from an external system
-
trait
UsesSCSCP extends VRESystem
A trait used for systems that use scscp
A trait used for systems that use scscp
The location is obtained from the MMT config entry ForeingConf("mitm", id, host::port::Nil), see SCSCPLocation for default values.
- case class VRECallDetected(system: String, term: Term) extends MitMComputationStep with Product with Serializable
-
abstract
class
VRESystem extends QueryExtension
base class for systems that provide external computation
-
abstract
class
VREWithAlignmentAndSCSCP extends VRESystem with UsesAlignments with UsesSCSCP
main implementation of VRESystem
Value Members
-
object
NoTrace extends MitMComputationTrace
dummy for ignoring the trace
- object Translations