rtm_search - Performs symbolic (mdd based) state space search on a timed module

rtm_search [-v] [-i] [-h] <module_name>

The command performs MDD based symbolic search on the state space of a timed module starting from its initial region. The rtm_trans command must be executed prior to executing this command. Command Options:

verbose mode - prints MDDs associated with each intermediate step

print usage

Last updated on 980624 22h11