Code review comment for lp:~verifypn-stub/verifypn/ctl-flow
Revision history for this message
| Jiri Srba (srba) wrote | # |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
67d34a1
(Get the code!)
No, CTL engine can be called with DFS or Heuristic search (which in this case becomes DFS).
Call with BFS or RDFS should exit with error message that the strategy is not possible for
CTL engine.