gapt.formats.tptp.resolveIncludes.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.tptp
object resolveIncludes {
def apply(tptpFile: TptpFile, resolver: String => TptpFile): TptpFile =
TptpFile(tptpFile.inputs flatMap {
case IncludeDirective(fileName, formulaSelection) =>
apply(resolver(fileName), resolver).inputs
case input => Seq(input)
})
}