Packages

package hoare

Content Hierarchy
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