|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.engine.Statistics
public final class Statistics
Stores the statistics gathered while solving a given formula.
formula: Formula // the formula being solved |
bounds: Bounds // the bounds on the formula |
Method Summary | |
---|---|
int |
clauses()
Returns the number of clauses needed to encode this.formula in CNF. |
int |
primaryVariables()
Returns the number of primary variables used in the encoding of this.formula; i.e. |
long |
solvingTime()
Returns the number of miliseconds spent on solving the CNF encoding of this.formula. |
java.lang.String |
toString()
Returns a string representation of this Statistics object. |
long |
translationTime()
Returns the number of miliseconds spent on translation this.formula to CNF. |
int |
variables()
Returns the number of variables needed to encode this.formula in CNF. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public int variables()
public int primaryVariables()
public int clauses()
public long translationTime()
public long solvingTime()
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |