Code

Disjunctions in Rules#192

Code

Draft

monsterkrampe wants to merge 5 commits intoknowsys:masterknowsys/rulewerk:masterfrom monsterkrampe:feature/disjunctions-in-rulesmonsterkrampe/rulewerk:feature/disjunctions-in-rulesCopy head branch name to clipboard

+371-99

Commits

Commits on Oct 29, 2020

• add very basic disjunction support in api model

  monsterkrampe

  committed
  27f9003

  Copy full SHA for 27f9003

Commits on Oct 30, 2020

• use inheritance structure instead of union interfaces

  monsterkrampe

  committed
  f96b758

  Copy full SHA for f96b758

• adjust other packages according to core changes

  monsterkrampe

  committed
  9a9eb78

  Copy full SHA for 9a9eb78

Commits on Nov 3, 2020

• clean up and explain previous adjustments some more

  monsterkrampe

  committed
  9acefa0

  Copy full SHA for 9acefa0

Commits on Nov 24, 2020

• implement basic disjunction support for rulewerk-parser

  monsterkrampe

  committed
  4fcc03a

  Copy full SHA for 4fcc03a