Uses of Class
de.rwth.swc.coffee4j.algorithmic.conflict.InternalConflictSet
-
Packages that use InternalConflictSet Package Description de.rwth.swc.coffee4j.algorithmic.conflict de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis -
-
Uses of InternalConflictSet in de.rwth.swc.coffee4j.algorithmic.conflict
Methods in de.rwth.swc.coffee4j.algorithmic.conflict that return InternalConflictSet Modifier and Type Method Description InternalConflictSet
InternalDiagnosisSets. getRootConflictSet()
Constructors in de.rwth.swc.coffee4j.algorithmic.conflict with parameters of type InternalConflictSet Constructor Description InternalDiagnosisSets(InternalConflictSet rootConflictSet, int[][] diagnosisSets)
-
Uses of InternalConflictSet in de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis
Methods in de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis with parameters of type InternalConflictSet Modifier and Type Method Description int[][]
ConflictDiagnostician. getMinimalDiagnoses(InternalConflictSet conflict)
int[][]
ExhaustiveConflictDiagnostician. getMinimalDiagnoses(InternalConflictSet conflict)
int[][]
FastConflictDiagnostician. getMinimalDiagnoses(InternalConflictSet conflict)
int[][]
NoConflictDiagnostician. getMinimalDiagnoses(InternalConflictSet conflict)
-