kodkod.engine
Class Statistics

java.lang.Object
  extended by kodkod.engine.Statistics

public final class Statistics
extends java.lang.Object

Stores the statistics gathered while solving a given formula.

specfield:
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

variables

public int variables()
Returns the number of variables needed to encode this.formula in CNF.

Returns:
the number of variables needed to encode this.formula in CNF.

primaryVariables

public int primaryVariables()
Returns the number of primary variables used in the encoding of this.formula; i.e. the variables allocated to all the relations at the leaves of this.formula.

Returns:
the number of primary variables used in the encoding of this.formula

clauses

public int clauses()
Returns the number of clauses needed to encode this.formula in CNF.

Returns:
the number of variables needed to encode this.formula in CNF.

translationTime

public long translationTime()
Returns the number of miliseconds spent on translation this.formula to CNF.

Returns:
the number of miliseconds spent on translation this.formula to CNF.

solvingTime

public long solvingTime()
Returns the number of miliseconds spent on solving the CNF encoding of this.formula.

Returns:
the number of miliseconds spent on solving the CNF encoding of this.formula.

toString

public java.lang.String toString()
Returns a string representation of this Statistics object.

Overrides:
toString in class java.lang.Object
Returns:
a string representation of this Statistics object.