CASCEvaluation
gapt.examples.CASCEvaluation
object CASCEvaluation
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
CASCEvaluation.type
Members list
Value members
Concrete methods
def eval_before_after[T <: CASCResult](before_replayed: Seq[(TstpProofStats[T], RPProofStats[T])], ratio: ((TstpProofStats[T], RPProofStats[T])) => BigDecimal, description: String, tex: Boolean): (Seq[(TstpProofStats[T], RPProofStats[T])], Seq[(TstpProofStats[T], RPProofStats[T])], Seq[(TstpProofStats[T], RPProofStats[T])])
def eval_rp_stats[T <: FileData](rp_stats: Set[RPProofStats[T]]): (CSVFile[String], Statistic[Int], Statistic[BigInt], Statistic[BigDecimal], Statistic[Int], Statistic[Int])
def getProblemStats(prefix: String): List[Either[ReconstructionTimeout[TptpLibraryProblem] | StackOverflow[TptpLibraryProblem], TptpInputStats[TptpLibraryProblem]]]
def getRPstatByProperty[S, T <: FileData](rp_stats: Set[RPProofStats[T]], prop: RPProofStats[T] => S)(implicit num: Numeric[S], conv: S => BigDecimal): Statistic[S]
def getStatisticSummary[T](s: Seq[Statistic[T]])(implicit num: Numeric[T], conv: T => BigDecimal): Statistic[T]
def get_prop_to_minprop_graph[T <: CASCResult, U](bundle: ResultBundle[T], prop: RPProofStats[T] => U)(implicit num: Numeric[U]): (List[(U, U, Int, Int)], CSVFile[String])
def processLeanCop[T <: FileData](data: Iterable[T], print_statistics: Boolean): ParIterable[Either[ReconstructionTimeout[T] | StackOverflow[T] | ParsingError[T] | FileNotFound[T], Option[ExpansionSequent]]]
def roundedStatisticCSV[T](s: Statistic[T])(implicit num: Numeric[T], conv: T => BigDecimal): CSVRow[String]
toCSV with truncation after 2 digits
toCSV with truncation after 2 digits
Type parameters
- T
-
the type of data points in the statistic
Value parameters
- conv
-
implicit converter from statistic data to big decimals
- num
-
implicit numeric object for statistic data
- s
-
the statistic
Attributes
- Returns
-
a CSVRow with the trincated strings
In this article