Commits · 8fa05f62ea08506b4f827eb2fc9b54af1af9686a · Jonas Blatt / Verification for Decision Model and Notation

Sep 29, 2019
- Add String BiCreater Combine + Tests · 8fa05f62
  Jonas Blatt authored 5 years ago
  
  8fa05f62
Sep 28, 2019
- Add Lower Bound Creater for String · 4000d96a
  Jonas Blatt authored 5 years ago
  4000d96a
- Add Builder Pattern for String Boundary · 29c2e089
  Jonas Blatt authored 5 years ago
  
  29c2e089
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 test for number checker · d463bc05
  Jonas Blatt authored 5 years ago
  
  d463bc05
- 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