Interface ConflictDiagnostician
-
- All Known Implementing Classes:
ExhaustiveConflictDiagnostician
,FastConflictDiagnostician
,NoConflictDiagnostician
public interface ConflictDiagnostician
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int[][]
getMinimalDiagnoses(InternalConflictSet conflict)
-
-
-
Method Detail
-
getMinimalDiagnoses
int[][] getMinimalDiagnoses(InternalConflictSet conflict)
-
-