search

QuMuLab / pr2

FOND Planner
MIT License
6 stars 2 forks source link

Implement an is_strong() check #6

Open haz opened 4 years ago

haz commented 4 years ago

Should just analyze the psgraph for cycles, and only return true if it is also strong cyclic (i.e., goal is always reachable).