package hoare
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- All
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