public class RDDEvaluationResult
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
RDDEvaluationResult.FOFormulaEvaluationResult |
static class |
RDDEvaluationResult.RDDConstraintEvaluationResult |
static class |
RDDEvaluationResult.StructuredRDDConstraintEvaluationResult
A container allowing structured access to an
RDDEvaluationResult.RDDConstraintEvaluationResult . |
Constructor and Description |
---|
RDDEvaluationResult() |
Modifier and Type | Method and Description |
---|---|
boolean |
allRddFailed() |
boolean |
allSucceeded() |
void |
recordNextRDDConstraintEvaluation(ConstraintProvenanceInfo constraint) |
void |
registerCounterExample(java.lang.String counterExampleStr,
int total,
java.lang.Integer limit) |
java.lang.String |
resultAsString(boolean showFailuresOnly) |
void |
startRecordFOFormulaEvaluation(FOFormula formula,
java.lang.String query) |
java.lang.String |
statsAsString()
Return statistics as string
|
void |
stopRecordFOFormulaEvaluation(boolean success) |
java.lang.String |
toString() |
public void recordNextRDDConstraintEvaluation(ConstraintProvenanceInfo constraint)
public void startRecordFOFormulaEvaluation(FOFormula formula, java.lang.String query)
public void stopRecordFOFormulaEvaluation(boolean success)
public void registerCounterExample(java.lang.String counterExampleStr, int total, java.lang.Integer limit)
public boolean allSucceeded()
public boolean allRddFailed()
public java.lang.String statsAsString()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String resultAsString(boolean showFailuresOnly)