gapt.formats.tip.transformation.TipSmtProblemTransformation.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
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.formats.tip.transformation
import gapt.formats.tip.parser.TipSmtProblem
trait TipSmtProblemTransformation {
def transform(problem: TipSmtProblem): TipSmtProblem
def ->>:(other: TipSmtProblemTransformation): TipSmtProblemTransformation = {
new TipSmtProblemTransformation {
override def transform(problem: TipSmtProblem): TipSmtProblem =
TipSmtProblemTransformation.this.transform(other.transform(problem))
}
}
def >>:(problem: TipSmtProblem): TipSmtProblem = transform(problem)
}