From 683f044df5c61ee9206405ba618410e92deb7ed8 Mon Sep 17 00:00:00 2001
From: Jonas Blatt <jonasblatt@uni-koblenz.de>
Date: Sun, 2 Jun 2019 13:54:25 +0200
Subject: [PATCH] Reset prev version of VerifierType
---
.../fgbks/dmn/core/models/VerifierType.java | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
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 05ba137..74386bf 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);
--
GitLab