p

info.kwarc.mmt.MitM

VRESystem

package VRESystem

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class AlignmentFromMitMStep(system: String, mitm: Term, extern: Term) extends MitMComputationStep with Product with Serializable
  2. case class AlignmentToMitMStep(system: String, extern: Term, mitm: Term) extends MitMComputationStep with Product with Serializable
  3. case class InitialTerm(term: Term) extends MitMComputationStep with Product with Serializable
  4. class MitMComputation extends Logger

    provides computation via all available VRESystems

  5. abstract class MitMComputationStep extends MitMTracePart

    adds functions for conveniently tracing computation steps

  6. class MitMComputationTrace extends AnyRef

    used for tracing computation run by VREComputation

  7. case class MitMFailure(error: Error) extends MitMTracePart with Product with Serializable
  8. abstract class MitMTracePart extends AnyRef

    used in MitMComputationTrace

  9. case class SCSCPLocation(hostO: Option[String], portO: Option[Int]) extends Product with Serializable
  10. case class SCSCPReceive(system: String, received: OMAny, out: Term) extends MitMComputationStep with Product with Serializable
  11. case class SCSCPSend(system: String, in: Term, sent: OMAny) extends MitMComputationStep with Product with Serializable
  12. trait UsesAlignments extends VRESystem

    mixin for VREWithAlignmentAndSCSCP, provides transtions to/from an external system

  13. 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.

  14. case class VRECallDetected(system: String, term: Term) extends MitMComputationStep with Product with Serializable
  15. abstract class VRESystem extends QueryExtension

    base class for systems that provide external computation

  16. abstract class VREWithAlignmentAndSCSCP extends VRESystem with UsesAlignments with UsesSCSCP

    main implementation of VRESystem

Value Members

  1. object NoTrace extends MitMComputationTrace

    dummy for ignoring the trace

  2. object Translations

Ungrouped