org.gecode.Statistics Class Reference
List of all members.
Detailed Description
Search engine statistics.
Definition at line 14 of file Statistics.java.
|
Public Member Functions |
| void | delete () |
| void | setPropagate (long value) |
| | Number of propagation steps.
|
| long | getPropagate () |
| | Number of propagation steps.
|
| void | setFail (long value) |
| | Number of failed nodes in search tree.
|
| long | getFail () |
| | Number of failed nodes in search tree.
|
| void | setClone (long value) |
| | Number of clones created.
|
| long | getClone () |
| | Number of clones created.
|
| void | setCommit (long value) |
| | Number of commit operations performed.
|
| long | getCommit () |
| | Number of commit operations performed.
|
| void | setMemory (long value) |
| | Peak memory allocated.
|
| long | getMemory () |
| | Peak memory allocated.
|
| | Statistics () |
| | Initialize with all numbers zero.
|
Protected Member Functions |
| | Statistics (long cPtr, boolean cMemoryOwn) |
| void | finalize () |
Static Protected Member Functions |
| static long | getCPtr (Statistics obj) |
Protected Attributes |
| boolean | swigCMemOwn |
Constructor & Destructor Documentation
| org.gecode.Statistics.Statistics |
( |
long |
cPtr, |
|
|
boolean |
cMemoryOwn | |
|
) |
| | [protected] |
| org.gecode.Statistics.Statistics |
( |
|
) |
|
Member Function Documentation
| static long org.gecode.Statistics.getCPtr |
( |
Statistics |
obj |
) |
[static, protected] |
| void org.gecode.Statistics.finalize |
( |
|
) |
[protected] |
| void org.gecode.Statistics.delete |
( |
|
) |
|
| void org.gecode.Statistics.setPropagate |
( |
long |
value |
) |
|
| long org.gecode.Statistics.getPropagate |
( |
|
) |
|
| void org.gecode.Statistics.setFail |
( |
long |
value |
) |
|
Number of failed nodes in search tree.
Definition at line 47 of file Statistics.java.
| long org.gecode.Statistics.getFail |
( |
|
) |
|
Number of failed nodes in search tree.
Definition at line 51 of file Statistics.java.
| void org.gecode.Statistics.setClone |
( |
long |
value |
) |
|
| long org.gecode.Statistics.getClone |
( |
|
) |
|
| void org.gecode.Statistics.setCommit |
( |
long |
value |
) |
|
Number of commit operations performed.
Definition at line 63 of file Statistics.java.
| long org.gecode.Statistics.getCommit |
( |
|
) |
|
Number of commit operations performed.
Definition at line 67 of file Statistics.java.
| void org.gecode.Statistics.setMemory |
( |
long |
value |
) |
|
| long org.gecode.Statistics.getMemory |
( |
|
) |
|
Member Data Documentation
The documentation for this class was generated from the following file:
