Package de.rwth.swc.coffee4j.algorithmic.conflict.explanation

Class NoConflictExplainer

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.conflict.explanation.NoConflictExplainer

All Implemented Interfaces:

ConflictExplainer

public class NoConflictExplainer
extends Object
implements ConflictExplainer

Constructor Summary

Constructors

Constructor	Description
NoConflictExplainer()

Method Summary

Modifier and Type	Method	Description
Optional<InternalExplanation>	getMinimalConflict(ChocoModel model, int[] background, int[] relaxable)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NoConflictExplainer

public NoConflictExplainer()

Method Detail

getMinimalConflict

public Optional<InternalExplanation> getMinimalConflict(ChocoModel model,
                                                        int[] background,
                                                        int[] relaxable)

Specified by:

getMinimalConflict in interface ConflictExplainer