Open Bram28 opened 9 years ago
icon needs to be fast-forward icon (indicating multiple transitions)
icon goes between two board state nodes, and take up same room as normal transition node
icon can be green or red depending on whether all collapsed transitions are valid or not
Better, but these things still need to be implemented:
icon needs to go between two board state nodes. If the user selects collapsing function when a board state is selected, the collapsing is applied to either the transition before or after the selected board state.
icon should take up same room as normal transition node, so board and transition nodes keep being lined up between different branches.
icon needs to be green or red depending on whether all collapsed transitions are valid or not (or yellow if not checked for validity)
A few other possible features:
a. the different branches are later merged into the same one node. Indeed, the user could select that node, or the program can figure out that there is such a node.
b. all branches lead to a contradiction, and so the whole collapsed sub-tree leads to a contradiction.
Here are some bugs:
Various issues here: