Commits · fd29a011a89a51af38d15692c287394295d66de0 · Jonas Blatt / Verification for Decision Model and Notation

Oct 01, 2019
- Refactor StringBoundary -> isMatchesAny -> matchesAny · fd29a011
  Jonas Blatt authored 5 years ago
  
  fd29a011
- New string boundary bicreater: append · d302bfe9
  Jonas Blatt authored 5 years ago
  
  d302bfe9
Sep 30, 2019
- Add implementation of BiCreater for String Intersection · f669f5a2
  Jonas Blatt authored 5 years ago
  
  f669f5a2
Sep 29, 2019
- Add String BiCreater Combine + Tests · 8fa05f62
  Jonas Blatt authored 5 years ago
  
  8fa05f62
- Add String BiCreater Combine · 28799703
  Jonas Blatt authored 5 years ago
  
  28799703
Sep 28, 2019
- Add Lower Bound Creater for String · 4000d96a
  Jonas Blatt authored 5 years ago
  
  Upper Bound Creater for Strings is always false!
  4000d96a
- Add Builder Pattern for String Boundary · 29c2e089
  Jonas Blatt authored 5 years ago
  
  29c2e089
Sep 26, 2019
- Add (empty) classes for String Creater · 4ffa334d
  Jonas Blatt authored 5 years ago
  
  4ffa334d
Sep 25, 2019
- small bug fix · e026d20d
  Jonas Blatt authored 5 years ago
  
  e026d20d
- remove log · 3932ae3c
  Jonas Blatt authored 5 years ago
  
  3932ae3c
- Add date formatted text · a50ec980
  Jonas Blatt authored 5 years ago
  
  a50ec980
- Format · 9317065b
  Jonas Blatt authored 5 years ago
  
  9317065b
- Add numerical parsed Text · ecfb531a
  Jonas Blatt authored 5 years ago
  
  ecfb531a
- Add boolean parsed Text · 44c81269
  Jonas Blatt authored 5 years ago
  
  44c81269
- get parsed text for string boundary · 5bd32aa7
  Jonas Blatt authored 5 years ago
  
  5bd32aa7
- Add missing rule verifier · fbe0ca8c
  Jonas Blatt authored 5 years ago
  
  fbe0ca8c
Sep 24, 2019
- Add more creater for numerical value types · 55afa237
  Jonas Blatt authored 5 years ago
  
  55afa237
Sep 23, 2019
- Add PartialReductionVerification verifier · a297e2e3
  Jonas Blatt authored 5 years ago
  
  a297e2e3
- Add creater for boundaries · d1fd2745
  Jonas Blatt authored 5 years ago
  
  d1fd2745
Sep 22, 2019
- Add construct for Boundary creater and combiner · 5017c0fb
  Jonas Blatt authored 5 years ago
  
  5017c0fb
Sep 19, 2019
- Add equivalent Verifier · 89ece0dd
  Jonas Blatt authored 5 years ago
  
  89ece0dd
Sep 18, 2019
- Add checker for String boundary · 48fed44e
  Jonas Blatt authored 5 years ago
  
  48fed44e
- Create checker in contact and not in contact for string boundaries · c361ab14
  Jonas Blatt authored 5 years ago
  
  c361ab14
- Add checker for subsumption and overlap · 9c5c598d
  Jonas Blatt authored 5 years ago
  
  9c5c598d
- Add checker for in contact and not in contact · 95b7f7cd
  Jonas Blatt authored 5 years ago
  
  95b7f7cd
- Add equal Check for String values · fa3bb584
  Jonas Blatt authored 5 years ago
  
  fa3bb584
- Add syntax check for values (creation of Boundary was a success) · 18a241d5
  Jonas Blatt authored 5 years ago
  
  18a241d5
- move package · 7dfbaece
  Jonas Blatt authored 5 years ago
  
  7dfbaece
Sep 15, 2019
- Remove JSON formatting configuration · 5147c297
  Jonas Blatt authored 5 years ago
  
  5147c297
Sep 14, 2019
- First try for DMN Parser · ad1c49a5
  Jonas Blatt authored 5 years ago
  
  ad1c49a5
Sep 12, 2019
- Add interfaces for dmn representation for verifications · b3296f38
  Jonas Blatt authored 5 years ago
  
  b3296f38
Sep 09, 2019
- Add domain for identifier · 08b528ad
  Jonas Blatt authored 5 years ago
  
  08b528ad
- New Json Serializer Strategy · 0fe1aa0e
  Jonas Blatt authored 5 years ago
  
  0fe1aa0e
Sep 08, 2019
- Formatting · 923ae328
  Jonas Blatt authored 5 years ago
  
  923ae328
- Creating domain structure for result objects · 017214e1
  Jonas Blatt authored 5 years ago
  
  017214e1
Sep 07, 2019
- Init rest ws - tests and examples with quarkus and wordnet / react · 2e57fe7e
  Jonas Blatt authored 5 years ago
  
  2e57fe7e
- Init rest ws - tests and examples with quarkus and wordnet / react · 8eae1510
  Jonas Blatt authored 5 years ago
  
  8eae1510