Packages

package alethe

Content Hierarchy
Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. case class AletheException(msg: String) extends Exception with Product with Serializable
  2. trait AletheParser extends RegexParsers
  3. case class AletheProof(steps: List[ProofCommand]) extends Product with Serializable
  4. case class Anchor(label: String, arguments: Option[List[(VariableDeclaration, Term)]]) extends ProofCommand with Product with Serializable
  5. case class Application(identifier: String, terms: List[Term]) extends Term with Product with Serializable
  6. case class Argument(t: Term, v: Option[String]) extends Product with Serializable
  7. case class Assume(label: String, formula: Term) extends ProofCommand with Product with Serializable
  8. case class Exists(vars: List[VariableDeclaration], f: Term) extends Term with Product with Serializable
  9. case class Forall(vars: List[VariableDeclaration], f: Term) extends Term with Product with Serializable
  10. case class Identifier(name: String, sort: Option[Sort]) extends Term with Product with Serializable
  11. case class Let(bindings: List[(String, Term)], term: Term) extends Term with Product with Serializable
  12. case class Not(t: Term) extends Term with Product with Serializable
  13. case class Numeral(n: Int) extends SpecialConstant with Product with Serializable
  14. sealed trait ProofCommand extends AnyRef
  15. case class Sort(name: String) extends Product with Serializable
  16. trait SpecialConstant extends Term
  17. case class Step(rule: String, label: String, clause: List[Term], premises: List[String], arguments: List[Argument]) extends ProofCommand with Product with Serializable
  18. sealed trait Term extends AnyRef
  19. case class VariableDeclaration(name: String, sort: Option[Sort]) extends Product with Serializable

Value Members

  1. case object False extends SpecialConstant with Product with Serializable
  2. case object True extends SpecialConstant with Product with Serializable
  3. object parseAletheProof

Ungrouped