gapt.formats.tptp.statistics.`package`.CASCResult
See theCASCResult companion object
case class CASCResult(path: String, prover: Prover, problem: String, extension: String) extends FileData, Serializable
A filename that comes from the CASC competition: the prover and TSTP problem name are accessible. The filename is automatically set to $path/$prover-$problem$extension
Value parameters
- extension
-
The file extension
- path
-
The problem path
- problem
-
The TSTP library problem (see http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP?TPTPProblem=$problem )
- prover
-
The prover produceing the tstp file
Attributes
- Companion
- object
- Source
- common.scala
- Graph
-
- Supertypes
Members list
In this article