gapt.proofs.resolution.mapInputClauses.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.resolution

import gapt.proofs.HOLSequent

object mapInputClauses {

  def apply(proof: ResolutionProof)(f: HOLSequent => ResolutionProof): ResolutionProof =
    new ResolutionProofVisitor {
      override def visitInput(p: Input): ResolutionProof = f(p.sequent)
    }.apply(proof)
}