package hoare
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- case class Assign(variable: FOLVar, term: FOLTerm) extends Program with Product with Serializable
- case class ForLoop(indexVar: FOLVar, limit: FOLVar, body: Program) extends Program with Product with Serializable
- case class IfElse(condition: FOLFormula, ifBranch: Program, elseBranch: Program) extends Program with Product with Serializable
- abstract class Program extends AnyRef
- case class Sequence(a: Program, b: Program) extends Program with Product with Serializable
- case class SimpleInductionProblem(gamma: Seq[FOLFormula], alphaVar: FOLVar, B: FOLFormula) extends Product with Serializable
- case class SimpleLoopProblem(loop: ForLoop, gamma: Seq[FOLFormula], precondition: FOLFormula, postcondition: FOLFormula) extends Product with Serializable
- case class Skip() extends Program with Product with Serializable
Value Members
- object Assign extends Serializable
- object Blocks
- object ForLoop extends Serializable
- object LoopFree
- object Sequence extends Serializable
- object mapVariableNames
- object substVariables
- object unrollLoop
- object usedVariables
- object weakestPrecondition
This is the API documentation for GAPT.
The main package is gapt.