Uses of Interface
de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis.ConflictDiagnostician
-
-
Uses of ConflictDiagnostician in de.rwth.swc.coffee4j.algorithmic.conflict
Methods in de.rwth.swc.coffee4j.algorithmic.conflict that return ConflictDiagnostician Modifier and Type Method Description ConflictDiagnostician
ConflictDetectionConfiguration. createConflictDiagnostician()
-
Uses of ConflictDiagnostician in de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis
Classes in de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis that implement ConflictDiagnostician Modifier and Type Class Description class
ExhaustiveConflictDiagnostician
class
FastConflictDiagnostician
class
NoConflictDiagnostician
-
Uses of ConflictDiagnostician in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.diagnosis
Methods in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.diagnosis that return types with arguments of type ConflictDiagnostician Modifier and Type Method Description Class<? extends ConflictDiagnostician>
conflictDiagnosisAlgorithm()
-