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
For #96, we need to delete invalid tree in case if current node is illegal for now and obviously in the future (hence felling a tree -- We generate a bunch of spanning trees from SPPF and then we fell the ones that are illegal)
The text was updated successfully, but these errors were encountered:
/// SPPF Visitor interface#[allow(unused_variables)]pubtraitSppfVisitor:DynClone{// Same for variables and virtuallsfnon_terminal_identifier(&self,node:&SppfNodeVersion) -> Result<(),Error>{}
visit_sppf_version_node verifies if the action is valid or not
visit_sppf_node will fork visitor on each node version, calls visit_sppf_version_node and push back the visitor to universes if the result is not error (otherwise drop the visitor and push error instead)
visit_sppf initialize universes and return all possible results.
Technically speaking, if there are more than 2 results in visit_sppf, then the whole program must be ambiguously defined as well (both syntactically and semantically).
TODO:
Take care about any potential edge case for visit_sppf_node (1 version case is not defined?)
For #96, we need to delete invalid tree in case if current node is illegal for now and obviously in the future (hence felling a tree -- We generate a bunch of spanning trees from SPPF and then we fell the ones that are illegal)
The text was updated successfully, but these errors were encountered: