gapt.proofs.ceres.toplevel.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation

General Architecture for Proof Theory

The newest version!

package gapt.proofs.ceres

import gapt.expr.formula.Formula
import gapt.proofs.context.Context
import gapt.proofs.lk.LKProof

object extractStruct {
  def apply(p: LKProof): Struct =
    apply(p, CERES.skipNothing)
  def apply(p: LKProof, predicate: Formula => Boolean): Struct =
    StructCreators.extract(p, predicate)(Context())

}