Is this a space, no space, newline or 2 newlines?
How good is this output? Lower is better.
Does this add indentation?
How does this split affect other later splits?
For debugging, to retrace from which case in Router this split originates.
How good is this output? Lower is better.
Does this add indentation?
For debugging, to retrace from which case in Router this split originates.
Is this a space, no space, newline or 2 newlines?
How does this split affect other later splits?
A Split is the whitespace between two non-whitespace tokens.
Consider a split to be an edge in a search graph and FormatToken are the nodes.
NB: there's a historical inconsistency in how splits are sorted; when they are initially considered, cost is the primary factor (and hence, because of stable sort, earlier split with the same cost will take precedence). However, when a search state is added into the priority queue, preference is given to states with lower cost, further token and, unlike above, a LATER line defining the split.
A possible reason for the latter is to give those "secondary" splits a chance to move through the BestFirstSearch algorithm, as otherwise a sequence of primary splits might end up as the winning solution even if it exceeds the maxColumn margins, because a secondary split was deemed unlikely to win and moved to a backup priority queue.
Is this a space, no space, newline or 2 newlines?
How good is this output? Lower is better.
Does this add indentation?
How does this split affect other later splits?
For debugging, to retrace from which case in Router this split originates.