Open haz opened 4 years ago
When doing the state matching (case-2), crawl ahead to see if it creates a cycle. If so, forbid it. Perhaps a context will be required so that matching on the policy is only allowed if it doesn't create a cycle in the solution graph.
When doing the state matching (case-2), crawl ahead to see if it creates a cycle. If so, forbid it. Perhaps a context will be required so that matching on the policy is only allowed if it doesn't create a cycle in the solution graph.