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

enum Gecode::CPProfiler::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.

enum Gecode::CPProfiler::MsgType

Types of messages for CP Profiler.

Enumerator:

NODE
DONE
START
RESTART

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.