#include <dependency_graph.h>
Inheritance diagram for Clasp::SolveTestEvent:
Public Member Functions | |
| uint64 | choices () const |
| uint64 | conflicts () const |
| SolveTestEvent (const Solver &s, uint32 scc, bool partial) | |
Public Attributes | |
| uint64 | choiceDelta |
| uint64 | confDelta |
| uint32 | partial: 1 |
| int | result |
| uint32 | scc:31 |
| double | time |
Detailed Description
Definition at line 36 of file dependency_graph.h.
Constructor & Destructor Documentation
| Clasp::SolveTestEvent::SolveTestEvent | ( | const Solver & | s, |
| uint32 | scc, | ||
| bool | partial | ||
| ) |
Definition at line 546 of file dependency_graph.cpp.
Member Function Documentation
| uint64 Clasp::SolveTestEvent::choices | ( | ) | const |
Definition at line 553 of file dependency_graph.cpp.
| uint64 Clasp::SolveTestEvent::conflicts | ( | ) | const |
Definition at line 556 of file dependency_graph.cpp.
Member Data Documentation
Definition at line 42 of file dependency_graph.h.
Definition at line 41 of file dependency_graph.h.
Definition at line 40 of file dependency_graph.h.
Definition at line 38 of file dependency_graph.h.
| uint32 Clasp::SolveTestEvent::scc |
Definition at line 39 of file dependency_graph.h.
| double Clasp::SolveTestEvent::time |
Definition at line 43 of file dependency_graph.h.
The documentation for this struct was generated from the following files: