Code

Issue1134#213

Code

Merged

remochristen merged 30 commits intoaibasel:mainaibasel/downward:mainfrom remochristen:issue1134remochristen/downward:issue1134Copy head branch name to clipboardJul 5, 2024

+810-31

Commits

Commits on Jan 30, 2024

• [issue1134] Rename existing delete-relaxation constraints and add copy for new Rankooh and Rintanen implementation.

  remochristen

  committed
  be4bf16

• [issue1134] adjust synopsis, add alias for issue

  SimonDold

  committed
  7bc1dac

Commits on Jan 31, 2024

• [issue1134] Add causal partial function constraints and remove copy-pasted code.

  remochristen

  committed
  3a40504

Commits on Feb 1, 2024

• [issue1134] Improve constraints 2-5 and add first implementation of update function.

  remochristen

  committed
  e029504

• untested version of vertex elimination graph

  FlorianPommerening

  committed
  b2cfc25

• missing explicit

  FlorianPommerening

  committed
  bdd4cbc

Commits on Feb 2, 2024

• [issue1134] Untested version of constraints 6-8.

  remochristen

  committed
  451b4bc

• [issue1134] Fix style.

  remochristen

  committed
  f56b8e6

• [issue1134] Make VEGraph parameter const.

  remochristen

  committed
  d3d3f67

• fix bug in VEGraph

  FlorianPommerening

  committed
  6c5d1e2

Commits on Feb 3, 2024

• fix bug in named vector

  FlorianPommerening

  committed
  a730fb5

• fix bug in cplex interface

  FlorianPommerening

  committed
  34fd6da

• add names for operator-counting variables

  FlorianPommerening

  committed
  1330d06

• fixes and rewrites in RR h^+

  FlorianPommerening

  committed
  62633d5

Commits on Feb 4, 2024

• use const_cast instead of copying the string

  FlorianPommerening

  committed
  51c6d54

Commits on Feb 5, 2024

• efficiency improvements

  FlorianPommerening

  committed
  db189f9

• only store IDs of constraints permanently.

  FlorianPommerening

  committed
  34e282c

• only store offsets to constraint IDs

  FlorianPommerening

  committed
  9829569

• first try for time label constraints

  FlorianPommerening

  committed
  376b041

Commits on Feb 6, 2024

• [issue1134] Fix time label ID bug.

  remochristen

  committed
  b5c457e

• [issue1134] Remove debug output.

  remochristen

  committed
  8cf7043

• [issue1134] Fix style.

  remochristen

  committed
  5596fbe

• [issue1134] Remove redundant string initialization and make variable explicitily unused.

  remochristen

  committed
  ff9e91c

• [issue1134] Fix style.

  remochristen

  committed
  a1a3437

• [issue1134] Remove testing aliases.

  remochristen

  committed
  94c4457

Commits on Feb 7, 2024

• bugfixes

  FlorianPommerening

  committed
  0702697

Commits on Feb 9, 2024

• [issue1134] Adapt option names and add recommendation notes to wiki.

  remochristen

  committed
  5351557

Commits on Jul 2, 2024

• Reduce diff to main

  FlorianPommerening

  committed
  36d3f00

• Rename files to match names of commandline options

  FlorianPommerening

  committed
  e9911f4

• Rename classes and include guards to match names of commandline options

  FlorianPommerening

  committed
  92060af