Gecode::CPProfiler Namespace Reference
Code that is specific to the CPProfiler. More...
Classes | |
class | Node |
class | Connector |
class | Option |
Optional value class. More... | |
struct | NodeUID |
Unique identifier for a node. More... | |
class | Message |
Message for the CP Profiler. More... | |
class | MessageMarshalling |
Enumerations | |
enum | NodeStatus { SOLVED = 0, FAILED = 1, BRANCH = 2, SKIPPED = 3 } |
Types of nodes for CP Profiler. More... | |
enum | MsgType { NODE = 0, DONE = 1, START = 2, RESTART = 3 } |
Types of messages for CP Profiler. More... | |
Functions | |
alt_ (alt) | |
kids_ (kids) | |
status_ (status) |
Detailed Description
Code that is specific to the CPProfiler.
Enumeration Type Documentation
Types of messages for CP Profiler.
Definition at line 59 of file message.hpp.
Function Documentation
Gecode::CPProfiler::alt_ | ( | alt | ) |
Gecode::CPProfiler::kids_ | ( | kids | ) |
Gecode::CPProfiler::status_ | ( | status | ) |
Definition at line 143 of file connector.hpp.