diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java index 05ba137694602b639d85d3c09a8c79b48dc6f668..74386bf1aac19cf3d053ed7a4d08c8c870475f24 100644 --- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java +++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java @@ -25,7 +25,7 @@ public enum VerifierType { false), Equivalent("Checking for synonyms in columns.", EquivalentVerifier.class, true, false, false), Overlap("Checking for overlapping rules.", OverlappingVerifier.class, true, true, false), - Missing("Checking for missing rules.", MissingVerifier.class, false, false, false), + Missing("Checking for missing rules.", MissingVerifier.class, true, false, false), PartialReduction( "Checking for partial reduction of rules (combination).", PartialReductionVerifier.class, @@ -41,31 +41,31 @@ public enum VerifierType { MultiTableIdentical( "Checking for identical rules in multiple tables with identical outcome column.", MultiTableIdenticalVerifier.class, - false, + true, true, true), MultiTableOverlapping( "Checking for overlapping rules in multiple tables with identical outcome column.", MultiTableOverlappingVerifier.class, - false, + true, true, true), MultiTableSubsumption( "Checking for subsumptions in multiple tables with identical outcome column.", MultiTableSubsumptionVerifier.class, - false, + true, true, true), MultiTableEquivalent( "Checking for synonyms in columns in multiple tables with identical outcome column.", MultiTableEquivalentVerifier.class, - false, + true, false, true), MultiTablePartialReduction( "Checking for partial reduction of rules (combination) in multiple tables with identical outcome column.", MultiTablePartialReductionVerifier.class, - false, + true, false, true);