Packages

p

at.logic.gapt.proofs

congruence

package congruence

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class ACRw (op: Const, lhs: Expr, rhs: Expr, p1: CongruenceProof) extends CongruenceProof with Product with Serializable
  2. case class ACTheory (op: Const, lhs: Expr, rhs: Expr) extends CongruenceProof with Product with Serializable
  3. trait CongruenceProof extends SequentProof[Atom, CongruenceProof]
  4. case class FOCongruence (f: Expr, as: Seq[CongruenceProof]) extends CongruenceProof with Product with Serializable
  5. case class Input (eq: Formula) extends CongruenceProof with Product with Serializable
  6. case class LeftUnit (op: Const, unit: Expr, e: Expr) extends CongruenceProof with Product with Serializable
  7. case class Refl (e: Expr) extends CongruenceProof with Product with Serializable
  8. case class RightUnit (op: Const, unit: Expr, e: Expr) extends CongruenceProof with Product with Serializable
  9. case class Symm (p1: CongruenceProof) extends CongruenceProof with Product with Serializable
  10. case class Trans (p1: CongruenceProof, p2: CongruenceProof) extends CongruenceProof with Product with Serializable

Value Members

  1. object Symm extends Serializable
  2. object Trans extends Serializable

Ungrouped