KSolverEventListener

class KSolverEventListener

Callbacks for a KSolver events.

Subclassed by KParallelSolverEventListener

Public Functions

inline virtual void nodeExplored(int thread)

Called after constraint propagation in each node

inline virtual void branchGoDown(int thread)

Called after each branchGoDown event

inline virtual void branchGoUp(int thread)

Called after each branchGoUp event

inline virtual void branchingScheme()

Called after each bracnhing scheme switch

inline virtual bool stopComputations()

Ask user for termination at each node

inline virtual void solutionFound(const KSolution &solution)

Called each time a solution is found