public class FormulaProcessorStatus
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
long |
maxElapsedTime
The max elapsed time.
|
int |
nAssertions
The n assertions.
|
int |
nConsistencyAssertions
The n consistency assertions.
|
int |
nExecutedAssertions
The n executed assertions.
|
int |
nExecutedConsystencyAssertions
The n executed consystency assertions.
|
int |
nExecutedFormulas
The n executed formulas.
|
int |
nFormulas
The n formulas.
|
java.lang.String[] |
vExecutedAssertionNames
The v executed assertion names.
|
long[] |
vExecutedAssertionTimes
The 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