You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: src/todd-coxeter-impl.cpp
+10-10Lines changed: 10 additions & 10 deletions
Original file line number
Diff line number
Diff line change
@@ -67,32 +67,32 @@ The valid values are :
67
67
68
68
.. py:attribute:: strategy.hlt
69
69
:value: <strategy.hlt: 0>
70
-
70
+
71
71
This value indicates that the HLT (Hazelgrove-Leech-Trotter) strategy should be used. This is analogous to ACE's R-style.
72
72
73
73
.. py:attribute:: strategy.felsch
74
74
:value: <strategy.felsch: 1>
75
-
75
+
76
76
This value indicates that the Felsch strategy should be used. This is analogous to ACE's C-style.
77
77
78
78
.. py:attribute:: strategy.CR
79
79
:value: <strategy.CR: 2>
80
-
80
+
81
81
This strategy is meant to mimic the ACE strategy of the same name. The Felsch is run until at least :any:`f_defs` nodes are defined, then the HLT strategy is run until at least :any:`hlt_defs` divided by :math:`N` nodes have been defined, where :math:`N` is the sum of the lengths of the words in the presentation and generating pairs. These steps are repeated until the enumeration terminates.
82
82
83
83
.. py:attribute:: strategy.R_over_C
84
84
:value: <strategy.R_over_C: 3>
85
-
85
+
86
86
This strategy is meant to mimic the ACE strategy R/C. The HLT strategy is run until the first lookahead is triggered (when :the number of nodes active is at least :any:`lookahead_next`). A full lookahead is then performed, and then the CR strategy is used.
87
87
88
88
.. py:attribute:: strategy.Cr
89
89
:value: <strategy.Cr: 4>
90
-
90
+
91
91
This strategy is meant to mimic the ACE strategy Cr. The Felsch strategy is run until at least :any:`f_defs` new nodes have been defined, then the HLT strategy is run until at least :any:`hlt_defs` divided by :math:`N` nodes have been defined, where :math:`N` is the sum of the lengths of the words in the presentation and generating pairs. Then the Felsch strategy is run.
92
92
93
93
.. py:attribute:: strategy.Rc
94
94
:value: <strategy.Rc: 5>
95
-
95
+
96
96
This strategy is meant to mimic the ACE strategy Rc. The HLT strategy is run until at least :any:`hlt_defs` divided by :math:`N` new nodes have been defined (where :math:`N` is the sum of the lengths of the words in the presentation and generating pairs) the Felsch strategy is then run until at least :any:`f_defs` new nodes are defined, and then the HLT strategy is run.
97
97
98
98
@@ -126,7 +126,7 @@ The valid values are :
126
126
127
127
.. py:attribute:: lookahead_extent.partial
128
128
:value: <lookahead_extent.partial: 1>
129
-
129
+
130
130
Perform a partial lookahead starting from the current node in the word graph. Partial lookaheads are sometimes faster but may not detect as many coincidences as a full lookahead.
0 commit comments