Package

at.logic.gapt.proofs

hoare

Permalink

package hoare

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. case class Assign(variable: FOLVar, term: FOLTerm) extends Program with Product with Serializable

    Permalink
  2. case class ForLoop(indexVar: FOLVar, limit: FOLVar, body: Program) extends Program with Product with Serializable

    Permalink
  3. case class IfElse(condition: FOLFormula, ifBranch: Program, elseBranch: Program) extends Program with Product with Serializable

    Permalink
  4. abstract class Program extends AnyRef

    Permalink
  5. case class Sequence(a: Program, b: Program) extends Program with Product with Serializable

    Permalink
  6. case class SimpleInductionProblem(gamma: Seq[FOLFormula], alphaVar: FOLVar, B: FOLFormula) extends Product with Serializable

    Permalink
  7. case class SimpleLoopProblem(loop: ForLoop, gamma: Seq[FOLFormula], precondition: FOLFormula, postcondition: FOLFormula) extends Product with Serializable

    Permalink
  8. case class Skip() extends Program with Product with Serializable

    Permalink

Value Members

  1. object Assign extends Serializable

    Permalink
  2. object Blocks

    Permalink
  3. object ForLoop extends Serializable

    Permalink
  4. object LoopFree

    Permalink
  5. object Sequence extends Serializable

    Permalink
  6. object mapVariableNames

    Permalink
  7. object substVariables

    Permalink
  8. object unrollLoop

    Permalink
  9. object usedVariables

    Permalink
  10. object weakestPrecondition

    Permalink

Ungrouped