Skip to content

Commit

Permalink
[trivial] fix documentation of f-preserving shrink strategy
Browse files Browse the repository at this point in the history
  • Loading branch information
Silvan Sievers committed Nov 8, 2023
1 parent c8b0792 commit c5ffc2d
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/search/merge_and_shrink/shrink_fh.cc
Original file line number Diff line number Diff line change
Expand Up @@ -218,7 +218,7 @@ class ShrinkFHFeature : public plugins::TypedFeature<ShrinkStrategy, ShrinkFH> {
document_note(
"Note",
"The strategy first partitions all states according to their "
"combination of f- and g-values. These partitions are then sorted, "
"combination of f- and h-values. These partitions are then sorted, "
"first according to their f-value, then according to their h-value "
"(increasing or decreasing, depending on the chosen options). "
"States sorted last are shrinked together until reaching max_states.");
Expand All @@ -229,8 +229,8 @@ class ShrinkFHFeature : public plugins::TypedFeature<ShrinkStrategy, ShrinkFH> {
"is a numerical parameter for which sensible values include 1000, "
"10000, 50000, 100000 and 200000) and the linear merge startegy "
"cg_goal_level to obtain the variant 'f-preserving shrinking of "
"transition systems', called called HHH in the IJCAI 2011 paper, see "
"bisimulation based shrink strategy. "
"transition systems', called HHH in the IJCAI 2011 paper. Also "
"see bisimulation based shrink strategy. "
"When we last ran experiments on interaction of shrink strategies "
"with label reduction, this strategy performed best when used with "
"label reduction before merging (and no label reduction before "
Expand Down

0 comments on commit c5ffc2d

Please sign in to comment.