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

Class ExhaustiveConflictDiagnostician

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis.ExhaustiveConflictDiagnostician

All Implemented Interfaces:

ConflictDiagnostician

public class ExhaustiveConflictDiagnostician
extends Object

Constructor Summary

Constructors

Constructor	Description
ExhaustiveConflictDiagnostician()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExhaustiveConflictDiagnostician

public ExhaustiveConflictDiagnostician()

Method Detail

getMinimalDiagnoses

public int[][] getMinimalDiagnoses(InternalConflictSet conflict)

Specified by:

getMinimalDiagnoses in interface ConflictDiagnostician

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)