From 37e723358ba238b6c55dc9e25a7737f1ad33f739 Mon Sep 17 00:00:00 2001
From: Carl Corea <ccorea@uni-koblenz.de>
Date: Tue, 4 Jun 2019 16:25:13 +0200
Subject: [PATCH] Update VerifierType.java
---
.../fgbks/dmn/core/models/VerifierType.java | 14 +++++++-------
1 file changed, 7 insertions(+), 7 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 74386bf..a5b43f8 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
@@ -23,7 +23,7 @@ public enum VerifierType {
true,
true,
false),
- Equivalent("Checking for synonyms in columns.", EquivalentVerifier.class, true, false, false),
+ Equivalent("Checking for semantically equivalent rules.", EquivalentVerifier.class, true, false, false),
Overlap("Checking for overlapping rules.", OverlappingVerifier.class, true, true, false),
Missing("Checking for missing rules.", MissingVerifier.class, true, false, false),
PartialReduction(
@@ -33,37 +33,37 @@ public enum VerifierType {
false,
false),
Interdeterminism(
- "Identical, Overlapping or Subsumption with different conclusions.",
+ "Checking for rules that are activated together but have different conclusions.",
InterdeterminismVerifier.class,
false,
false,
false),
MultiTableIdentical(
- "Checking for identical rules in multiple tables with identical outcome column.",
+ "Checking for identical rules in multiple tables (identical outcome column).",
MultiTableIdenticalVerifier.class,
true,
true,
true),
MultiTableOverlapping(
- "Checking for overlapping rules in multiple tables with identical outcome column.",
+ "Checking for overlapping rules in multiple tables (identical outcome column).",
MultiTableOverlappingVerifier.class,
true,
true,
true),
MultiTableSubsumption(
- "Checking for subsumptions in multiple tables with identical outcome column.",
+ "Checking for subsumptions in multiple tables (identical outcome column).",
MultiTableSubsumptionVerifier.class,
true,
true,
true),
MultiTableEquivalent(
- "Checking for synonyms in columns in multiple tables with identical outcome column.",
+ "Checking for equivalent rules in multiple tables (identical outcome column).",
MultiTableEquivalentVerifier.class,
true,
false,
true),
MultiTablePartialReduction(
- "Checking for partial reduction of rules (combination) in multiple tables with identical outcome column.",
+ "Checking for partial reduction of rules in multiple tables (identical outcome column).",
MultiTablePartialReductionVerifier.class,
true,
false,
--
GitLab