Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::CPProfiler Namespace Reference

Code that is specific to the CPProfiler. More...

Classes

class  Connector
class  Message
 Message for the CP Profiler. More...
class  MessageMarshalling
class  Node
struct  NodeUID
 Unique identifier for a node. More...
class  Option
 Optional value class. More...

Enumerations

enum  NodeStatus { SOLVED = 0 , FAILED = 1 , BRANCH = 2 , SKIPPED = 3 }
 Types of nodes for CP Profiler. More...
enum class  MsgType { NODE = 0 , DONE = 1 , START = 2 , RESTART = 3 }
 Types of messages for CP Profiler. More...

Detailed Description

Code that is specific to the CPProfiler.

Enumeration Type Documentation

◆ NodeStatus

Types of nodes for CP Profiler.

Enumerator
SOLVED 

Node representing a solution.

FAILED 

Node representing failure.

BRANCH 

Node representing a branch.

SKIPPED 

Node skipped by backjumping.

Definition at line 51 of file message.hpp.

◆ MsgType

enum class Gecode::CPProfiler::MsgType
strong

Types of messages for CP Profiler.

Enumerator
NODE 
DONE 
START 
RESTART 

Definition at line 59 of file message.hpp.