Esempi in C++ (Cpp) per FSM::print_fsm

Esempio n. 1

File: scalability_test.cpp Progetto: morrimax/DES_Supervisor

/* Create random input file with i states and MAX_EVENTS events */
void create_test_file(const string& filename, int states, int events) {
	FSM fsm = create_initial_FSM(states, events);
	make_accessible(fsm);
	ofstream file_out(filename);
	if (EXTENSION == ".txt") fsm.print_txt(file_out);
	else if (EXTENSION == ".fsm") fsm.print_fsm(file_out);
	file_out.close();
}