Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-02-13 | Fix phantom edges | JSDurand | |
Previously there was a minor bug: if the chain-rule machine ended in a node without children, which node should be accepting because of edges that have no children and hence were ignored, then since the node has no children, it would be regarded as not accepting. Now this issue is fixed by introducting real or imaginary edges, where an imaginary edge is used to determine the acceptance of nodes without chidlren. | |||
2023-02-12 | fix clone not changing the root | JSDurand | |
Previously cloning a node does not alter the root of the forest, while it should alter the root if the cloned node was the root. This would affect how we compare the equalities of forests. It indeed resulted in anomalies that were hard to solve. | |||
2023-02-12 | Added the functionality of split or clone. | JSDurand | |
I need more than the ability to clone nodes: I also need to split the nodes. Now this seems to be correctly added. |