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

Interface ConflictExplainer

All Known Implementing Classes:

NoConflictExplainer, QuickConflictExplainer

public interface ConflictExplainer

Method Summary

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

Method Detail

getMinimalConflict

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