Skip to content

resource expression interface

Tim Luchterhand requested to merge new_policies into main

The interface changes are not complete yet but all resource expressions already comply with the new interface

  • added resource expression concept
  • added disjunctive literal matrix to all resource expressions where entry (i, j) corresponds to edge between task i and j
  • refactored disjunctive edge finding and transitivity
  • refactored cumulative check

Merge request reports