Conditional effects #2

Martin1887 · 2024-11-28T12:24:50Z

No description provided.

…vars with a single value

…d by conds in the split var

…ires

…r rewires

… (great optimization)

…bstract states

… state may not be in flaw-search state

… was the shortest path

…esian set from facts

…equence flaws in all states

…sequence flaws

…because in conditions

…ays checked because some transitions can disappear

…rsects) because conditional effects

…set were not handled if intersection

…tions because conditional effects

…o condition in var post

…values for var in post Cartesian set computation

…laws collection

…fix search input as output.sas if preprocess-h2

…ssion flaws It was broken after optimization of CartesianSet with facts constructor.

…lready exists in that state

…ld actually never happen

Martin1887 added 30 commits November 25, 2024 15:59

[conditional_effects] Update .gitignore

32d3309

[conditional_effects] devenv files

89c3421

[conditional_effects] 1st version of cond effects support

f0d3c7c

[conditional_effects] add qcachegrind to devenv.nix

f499083

[conditional_effects] Fix unaffected variables for conditional effects

0ce2dd3

[conditional_effects] Simplification and comment on rewire

f1c8bca

[conditional_effects] assert for_v1 or for_v2

348af43

[conditional_effects] Avoid cond_effects copy on loop

c49485d

[conditional_effects] unordered_map for cond_effects_by_op_id

fe3f03f

[conditional_effects] Remove no conditional effects restriction

9b91e13

[conditional_effects] Fix segfault because uninit field

6968788

[conditional_effects] Update devenv

dcb5973

[conditional_effects] Fix duplicated transitions in rewiring

a87ffe2

[conditional_effects] Fix get_unaffected_variables

27474c4

[conditional_effects] Fix wrong deviation flaws when cond effects on …

dd0ff1d

…vars with a single value

[conditional_effects] Fix code style error (init map in constructor)

1b5419e

[conditional_effects] Fix deviations in effects conditions

42a3e50

[conditional_effects] Rewire outgoing transitions via post Cartesian set

55b9762

[conditional_effects] Fix deviation splits for cond effects

62764d0

[conditional_effects] Perf optimization by checking only vars affecte…

f42a7cb

…d by conds in the split var

[conditional_effects] Optimize post Cartesian set computation for rew…

9062ffb

…ires

[conditional_effects] Ultraoptimize post Cartesian set computation fo…

b3a22d9

…r rewires

[conditional_effects] Simplify exists_outgoing_transition function

f6f6379

[conditional_effects] Only compute post Cartesian set if conds in var…

b239624

… (great optimization)

[conditional_effects] Move Cartesian set for the second child

38584f1

[conditional_effects] Optimize deviation splits

6863942

[conditional_effects] Replace copies by moves in split_domain

c7eb31a

[conditional_effects] Fix compilation in older compilers

cc523b2

[conditional_effects] First regression flaw

c2fbd3f

[conditional_effects] Param to intersect bw flaw-search states with a…

adf1499

…bstract states

Martin1887 added 24 commits December 30, 2024 17:14

[conditional_effects] Param for bw progression flaw fallback

174bba5

[conditional_effects] Minor code-style fixes

c0e45a2

[conditional_effects] Remove unneeded std::

b2e4432

[conditional_effects] Balance between refinedness and goal distance

20c25ec

[conditional_effects] In backward deviation splits values of abstract…

1f7c199

… state may not be in flaw-search state

[conditional_effects] old transitions are dirty candidates only if it…

3ab8f71

… was the shortest path

[conditional_effects] Sequence splits

ce007c1

[conditional_effects] Minor optimzations in deviation splits nad Cart…

f461a00

…esian set from facts

[conditional_effects] Optionally (default to true) cache splits for s…

f7499f5

…equence flaws in all states

[conditional_effects] Fix build in older compilers

cc32588

[conditional_effects] Remove assert about not refining goal states

0228baf

[conditional_effects] Fix bug in values size in deviation splits for …

6b28193

…sequence flaws

[conditional_effects] Wanted can be empty in direct deviation splits …

0bd5a36

…because in conditions

[conditional_effects] In rewiring the inclusion of values must be alw…

501181b

…ays checked because some transitions can disappear

[conditional_effects] Sequence deviations on supersets (although inte…

b23b1c2

…rsects) because conditional effects

[conditional_effects] Fix deviations after inapplicable op when super…

9edee25

…set were not handled if intersection

[conditional_effects] Fix sometimes missing check for incoming transi…

08e51b2

…tions because conditional effects

[conditional_effects] Optimize a bit rewiring by avoiding checks if n…

14beb5c

…o condition in var post

[conditional_effects] Cache in a vector when child contains multiple …

e25c47f

…values for var in post Cartesian set computation

[conditional_effects] Missing memory padding checks during sequence f…

7413a0d

…laws collection

[conditional_effects] Do not skip preprocess-h2 if no translator and …

afcb95e

…fix search input as output.sas if preprocess-h2

[conditional_effects] Fix creation of goals Cartesian state for regre…

48f0e36

…ssion flaws It was broken after optimization of CartesianSet with facts constructor.

[conditional_effects] Fix non-goal flaw reporting when another flaw a…

a0bbcb6

…lready exists in that state

[conditional_effects] Sequence flaws because non including goals shou…

c1994f9

…ld actually never happen

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Conditional effects #2

Conditional effects #2

Martin1887 commented Nov 28, 2024

Conditional effects #2

Are you sure you want to change the base?

Conditional effects #2

Conversation

Martin1887 commented Nov 28, 2024