sim.h File Reference

Simulation support. More...

#include "common.h"
#include "automaton.h"

Functions
anode_t *	sim_rhc (DdManager *manager, DdNode *W, DdNode *etrans, DdNode *strans, DdNode **sgoals, char *metric_vars, int horizon, vartype *init_state, int num_it, unsigned char verbose)

Detailed Description

Simulation support.

SCL; 2012, 2013.