Package

at.logic.gapt.proofs

ral

Permalink

package ral

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. case class RalAllF(subProof: RalProof, idx: SequentIndex, skolemSymbol: String) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  2. case class RalAllT(subProof: RalProof, idx: SequentIndex, eigenVariable: Var) extends OneFormulaRule with Product with Serializable

    Permalink
  3. case class RalAndF(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  4. case class RalAndT1(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  5. case class RalAndT2(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  6. case class RalBottomT(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  7. case class RalCut(subProof1: RalProof, indices1: Seq[SequentIndex], subProof2: RalProof, indices2: Seq[SequentIndex]) extends RalProof with Product with Serializable

    Permalink
  8. case class RalExF(subProof: RalProof, idx: SequentIndex, eigenVariable: Var) extends OneFormulaRule with Product with Serializable

    Permalink
  9. case class RalExT(subProof: RalProof, idx: SequentIndex, skolemSymbol: String) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  10. case class RalFactor(subProof: RalProof, idx1: SequentIndex, idx2: SequentIndex) extends RalProof with Product with Serializable

    Permalink
  11. case class RalImpF1(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  12. case class RalImpF2(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  13. case class RalImpT(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  14. case class RalInitial(conclusion: Sequent[(Label, HOLFormula)]) extends RalProof with Product with Serializable

    Permalink
  15. case class RalNegF(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  16. case class RalNegT(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  17. case class RalOrF1(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  18. case class RalOrF2(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  19. case class RalOrT(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink
  20. case class RalPara(subProof1: RalProof, equation: Suc, subProof2: RalProof, modulant: SequentIndex, replacementContext: Abs, leftToRight: Boolean) extends RalProof with Product with Serializable

    Permalink
  21. trait RalProof extends SequentProof[(Label, HOLFormula), RalProof]

    Permalink
  22. case class RalSub(subProof: RalProof, substitution: Substitution) extends RalProof with Product with Serializable

    Permalink
  23. case class RalTopF(subProof: RalProof, idx: SequentIndex) extends SimpleOneFormulaRule with Product with Serializable

    Permalink

Value Members

  1. object RalProof

    Permalink

Ungrouped