public class FormulaProcessorStatus
extends java.lang.Object
| Modifier and Type | Field and Description | 
|---|---|
| long | maxElapsedTimeThe max elapsed time. | 
| int | nAssertionsThe n assertions. | 
| int | nConsistencyAssertionsThe n consistency assertions. | 
| int | nExecutedAssertionsThe n executed assertions. | 
| int | nExecutedConsystencyAssertionsThe n executed consystency assertions. | 
| int | nExecutedFormulasThe n executed formulas. | 
| int | nFormulasThe n formulas. | 
| java.lang.String[] | vExecutedAssertionNamesThe v executed assertion names. | 
| long[] | vExecutedAssertionTimesThe v executed assertion times. | 
| Constructor and Description | 
|---|
| FormulaProcessorStatus() | 
public int nFormulas
public int nAssertions
public int nConsistencyAssertions
public long maxElapsedTime
public int nExecutedFormulas
public int nExecutedAssertions
public int nExecutedConsystencyAssertions
public java.lang.String[] vExecutedAssertionNames
public long[] vExecutedAssertionTimes
Copyright 2006-2015 Reporting Standard S.L., C/ Torrecilla del Puerto 1, 28043, Madrid, Espaņa