IExplanation (org.choco-solver-choco-solver 4.10.2 API)

java.lang.Object
- org.chocosolver.solver.learn.IExplanation

Direct Known Subclasses:

ExplanationForSignedClause
```
public abstract class IExplanation
extends Object
```
An abstract class that defines required methods for an explanation. An explanation tells about the reason of a failure. It gives information relatives to:
- decision to backtrack to
- additional constraint to add to the model
Project: choco-solver.
Since:

27/01/2017.

Author:

Charles Prud'homme

Constructor Summary

Constructors
Constructor Description

IExplanation()

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`abstract void`	`extractConstraint(Model mModel, ClauseStore ngstore)`	Extract and post the nogood related to this explanation
`abstract void`	`recycle()`	Recycle this explanation when it is not used anymore.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - IExplanation
```
public IExplanation()
```
- Method Detail
  - extractConstraint
```
public abstract void extractConstraint(Model mModel,
                                       ClauseStore ngstore)
```
    Extract and post the nogood related to this explanation
    
    Parameters:
    
    mModel - the model to post the nogood in
  - recycle
```
public abstract void recycle()
```
    Recycle this explanation when it is not used anymore.