-
- Downloads
Formatting
Showing
- dmn-verifier-app/pom.xml 1 addition, 1 deletiondmn-verifier-app/pom.xml
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/dmnhelper/DmnRuleMap.java 13 additions, 32 deletions...va/de/unikoblenz/fgbks/dmn/core/dmnhelper/DmnRuleMap.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerificationResult.java 1 addition, 2 deletions.../unikoblenz/fgbks/dmn/core/models/VerificationResult.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/EquivalentVerifier.java 1 addition, 3 deletions...nikoblenz/fgbks/dmn/core/verifier/EquivalentVerifier.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/IdenticalVerifier.java 2 additions, 4 deletions...unikoblenz/fgbks/dmn/core/verifier/IdenticalVerifier.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/OverlappingVerifier.java 1 addition, 2 deletions...ikoblenz/fgbks/dmn/core/verifier/OverlappingVerifier.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/PartialReductionVerifier.java 3 additions, 7 deletions...enz/fgbks/dmn/core/verifier/PartialReductionVerifier.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java 3 additions, 6 deletions...ikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableIdenticalVerifier.java 1 addition, 2 deletions...core/verifier/multitable/MultiTableIdenticalVerifier.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableOverlappingVerifier.java 1 addition, 2 deletions...re/verifier/multitable/MultiTableOverlappingVerifier.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTablePartialReductionVerifier.java 2 additions, 4 deletions...rifier/multitable/MultiTablePartialReductionVerifier.java
- dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/multitable/MultiTableSubsumptionVerifier.java 3 additions, 6 deletions...re/verifier/multitable/MultiTableSubsumptionVerifier.java
Loading
Please register or sign in to comment