• Home
• at.logic.gapt
• gapt_3
• 2.17.0
• source code
• utils.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

gapt.proofs.resolution.utils.scala Maven / Gradle / Ivy

package gapt.proofs.resolution

object numberOfLogicalInferencesRes {
  def apply(p: ResolutionProof): Int =
    p.subProofs.count {
      case Resolution(_, _, _, _)    => true
      case Paramod(_, _, _, _, _, _) => true
      case _                         => false
    }
}

object containsEquationalReasoning {
  def apply(p: ResolutionProof): Boolean = p.subProofs exists {
    case _: Paramod => true
    case _: Refl    => true
    case _          => false
  }
}