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.