C++ Reference: class Decision

This documentation is automatically generated.

A Decision represents a choice point in the search tree. The two main methods are Apply() to go left, or Refute() to go right.

Method
Accept	Return type: virtual void Arguments: DecisionVisitor* const visitor Accepts the given visitor.
Apply	Return type: virtual void Arguments: Solver* const s Apply will be called first when the decision is executed.
DebugString	Return type: std::string
Decision
~Decision
Refute	Return type: virtual void Arguments: Solver* const s Refute will be called after a backtrack.