Class FastConflictDiagnostician
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis.FastConflictDiagnostician
-
- All Implemented Interfaces:
ConflictDiagnostician
public class FastConflictDiagnostician extends Object
-
-
Constructor Summary
Constructors Constructor Description FastConflictDiagnostician()
-
Method Summary
All Methods Instance Methods Concrete Methods Default Methods Modifier and Type Method Description default void
expandNextNode(InternalConflictSet conflict, List<int[]> diagnoses, Queue<int[]> pathsToExpand)
default List<int[]>
expandPaths(int[] path, int[] extensions)
int[][]
getMinimalDiagnoses(InternalConflictSet conflict)
default boolean
isCurrentPathAlreadyCoveredByDiagnoses(int[] currentPath, List<int[]> diagnoses)
default boolean
isSubset(int[] subset, int[] superset)
-
-
-
Method Detail
-
getMinimalDiagnoses
public int[][] getMinimalDiagnoses(InternalConflictSet conflict)
- Specified by:
getMinimalDiagnoses
in interfaceConflictDiagnostician
-
expandNextNode
public default void expandNextNode(InternalConflictSet conflict, List<int[]> diagnoses, Queue<int[]> pathsToExpand)
-
isCurrentPathAlreadyCoveredByDiagnoses
public default boolean isCurrentPathAlreadyCoveredByDiagnoses(int[] currentPath, List<int[]> diagnoses)
-
isSubset
public default boolean isSubset(int[] subset, int[] superset)
-
expandPaths
public default List<int[]> expandPaths(int[] path, int[] extensions)
-
-