public static class RDDEvaluationResult.RDDConstraintEvaluationResult
extends java.lang.Object
Constructor and Description |
---|
RDDEvaluationResult.RDDConstraintEvaluationResult(ConstraintProvenanceInfo provenanceInfo) |
Modifier and Type | Method and Description |
---|---|
java.lang.Long |
evaluationTime() |
java.util.List<RDDEvaluationResult.FOFormulaEvaluationResult> |
getFOFormulaEvaluationResults() |
ConstraintProvenanceInfo |
getProvenanceInfo() |
void |
registerCounterExample(java.lang.String counterExampleStr,
int total,
java.lang.Integer limit) |
void |
startRecordFOFormulaEvaluation(FOFormula formula,
java.lang.String query) |
void |
stopRecordFOFormulaEvalation(boolean success) |
java.lang.String |
toString(java.lang.String id) |
public RDDEvaluationResult.RDDConstraintEvaluationResult(ConstraintProvenanceInfo provenanceInfo)
public void startRecordFOFormulaEvaluation(FOFormula formula, java.lang.String query)
public void stopRecordFOFormulaEvalation(boolean success)
public void registerCounterExample(java.lang.String counterExampleStr, int total, java.lang.Integer limit)
public java.util.List<RDDEvaluationResult.FOFormulaEvaluationResult> getFOFormulaEvaluationResults()
public java.lang.Long evaluationTime()
public ConstraintProvenanceInfo getProvenanceInfo()
public java.lang.String toString(java.lang.String id)