configuration.h File Reference

This file contains the struct that holds the configuration of a run of the FSM solver. More...

#include "hal_core/defines.h"
#include <map>
#include <string>
#include <utility>
#include <vector>

Include dependency graph for configuration.h:

Go to the source code of this file.

Classes
struct	hal::solve_fsm::Configuration
	The configuration of a run of the FSM solver. More...

Namespaces
	hal
	hal::solve_fsm
	Recovers the state transition graph of a finite state machine from the gate-level netlist that implements it.

Detailed Description

This file contains the struct that holds the configuration of a run of the FSM solver.

Definition in file configuration.h.