Packages

object MathText

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MathText
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class Assert(assertion: SententialPhrase) extends MathText with Product with Serializable
  2. case class Assume(assumption: SententialPhrase) extends MathText with Product with Serializable
  3. case class BiEquationalDefinition(definiendum: BiEquationalDefinition, definiens: SententialPhrase) extends SententialPhrase with Product with Serializable
  4. case class BiEquationalDefinitionSP(definiendum: BiEquationalDefinitionSP, definiens: SententialPhrase) extends SententialPhrase with Product with Serializable
  5. case class BiImplicationDefiniendum(name: String, variables: Vector[T], formula: SententialPhrase) extends MathExpr with Product with Serializable
  6. case class BiImplicationDefiniendumSP(definiendum: SententialPhrase) extends SententialPhrase with Product with Serializable
  7. case class CopulaDefiniendum(name: String, variables: Vector[T], lhs: NounPhrase) extends MathExpr with Product with Serializable
  8. case class CopulaDefiniendumNP(definiendum: NounPhrase) extends NounPhrase with Product with Serializable
  9. case class CopulaDefinition(definiendum: CopulaDefiniendum, definiens: NounPhrase) extends SententialPhrase with Product with Serializable
  10. case class CopulaDefinitionSP(definiendum: CopulaDefiniendumNP, definiens: NounPhrase) extends SententialPhrase with Product with Serializable
  11. case class VariableType(variables: Vector[NounPhrase], typ: NounPhrase) extends Product with Serializable

Value Members

  1. object BiEquationalDefinition extends Serializable
  2. object BiEquationalDefinitionSP extends Serializable
  3. object BiImplicationDefiniendum extends Serializable
  4. object BiImplicationDefiniendumSP extends Serializable
  5. object CopulaDefiniendum extends Serializable
  6. object CopulaDefiniendumNP extends Serializable
  7. object CopulaDefinition extends Serializable
  8. object CopulaDefinitionSP extends Serializable
  9. object VariableType extends Serializable