Class IloSolverExplainer

Definition file: ilsolver/iloexplain.h

Include file: <ilsolver/iloexplain.h>

Solver now provides the ability to explain why a particular solution has been proposed. An instance of the class IloSolverExplainer is an explainer that uses the propagation mechanism of an IloSolver for deducing queries and fails.

Note

This functionality is available for pure Solver code only. It will not work on IBM® ILOG® Dispatcher or IBM ILOG Scheduler code.

Constructor Summary
`public`	`IloSolverExplainer(IloSolverExplainerI * impl=0)`
`public`	`IloSolverExplainer(IloModel model, IloBool deleteQuery=IloFalse)`

Method Summary
`public IloSolverExplainerI *`	`getImpl() const`

Inherited Methods from `IloExplainer`
`end, getImpl, why, whyFail, whyNot`

Constructor Detail

IloSolverExplainer

public IloSolverExplainer(IloSolverExplainerI * impl=0)

This constructor creates a handle of a Solver explainer with the implementation object impl. The class IloSolverExplainerI is not documented.

IloSolverExplainer

public IloSolverExplainer(IloModel model, IloBool deleteQuery=IloFalse)

This constructor creates a Solver explainer for the model model. The explanations found by this explainer are subsets of the set of constraints of model.

Method Detail

getImpl

public IloSolverExplainerI * getImpl() const

This member function returns the implementation object of the invoking explanation object.