Classes | |
| class | smp::model_checker_mu_calculus< typeparams > |
| Implements the mu-calculus model checker. More... | |
| class | smp::model_checker_reachability< typeparams, NUM_DIMENSIONS > |
| Reachability model checker. More... | |
| class | smp::minimum_time_reachability< typeparams, NUM_DIMENSIONS > |
| A combination of the minimum-time cost evaluator and the reachability model checker. More... | |
This module collects all model checker classes that can be used as is in a planning algorithm.
