package alethe
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- case class AletheException(msg: String) extends Exception with Product with Serializable
- trait AletheParser extends RegexParsers
- case class AletheProof(steps: List[ProofCommand]) extends Product with Serializable
- case class Anchor(label: String, arguments: Option[List[(VariableDeclaration, Term)]]) extends ProofCommand with Product with Serializable
- case class Application(identifier: String, terms: List[Term]) extends Term with Product with Serializable
- case class Argument(t: Term, v: Option[String]) extends Product with Serializable
- case class Assume(label: String, formula: Term) extends ProofCommand with Product with Serializable
- case class Exists(vars: List[VariableDeclaration], f: Term) extends Term with Product with Serializable
- case class Forall(vars: List[VariableDeclaration], f: Term) extends Term with Product with Serializable
- case class Identifier(name: String, sort: Option[Sort]) extends Term with Product with Serializable
- case class Let(bindings: List[(String, Term)], term: Term) extends Term with Product with Serializable
- case class Not(t: Term) extends Term with Product with Serializable
- case class Numeral(n: Int) extends SpecialConstant with Product with Serializable
- sealed trait ProofCommand extends AnyRef
- case class Sort(name: String) extends Product with Serializable
- trait SpecialConstant extends Term
- case class Step(rule: String, label: String, clause: List[Term], premises: List[String], arguments: List[Argument]) extends ProofCommand with Product with Serializable
- sealed trait Term extends AnyRef
- case class VariableDeclaration(name: String, sort: Option[Sort]) extends Product with Serializable
Value Members
- case object False extends SpecialConstant with Product with Serializable
- case object True extends SpecialConstant with Product with Serializable
- object parseAletheProof
This is the API documentation for GAPT.
The main package is gapt.