Packages

p

gapt.proofs

hoare

package hoare

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class Assign(variable: FOLVar, term: FOLTerm) extends Program with Product with Serializable
  2. case class ForLoop(indexVar: FOLVar, limit: FOLVar, body: Program) extends Program with Product with Serializable
  3. case class IfElse(condition: FOLFormula, ifBranch: Program, elseBranch: Program) extends Program with Product with Serializable
  4. abstract class Program extends AnyRef
  5. case class Sequence(a: Program, b: Program) extends Program with Product with Serializable
  6. case class SimpleInductionProblem(gamma: Seq[FOLFormula], alphaVar: FOLVar, B: FOLFormula) extends Product with Serializable
  7. case class SimpleLoopProblem(loop: ForLoop, gamma: Seq[FOLFormula], precondition: FOLFormula, postcondition: FOLFormula) extends Product with Serializable
  8. case class Skip() extends Program with Product with Serializable

Ungrouped