non_deterministic_flows.hpp File Reference

Design flow to check different non deterministic flows. More...

#include "design_flow.hpp"
#include "design_flow_step.hpp"
#include <cstddef>
#include <string>

Include dependency graph for non_deterministic_flows.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	NonDeterministicFlows
	Class to test non deterministic flows. More...

Detailed Description

Design flow to check different non deterministic flows.

Author

Marco Lattuada marco.nosp@m..lat.nosp@m.tuada.nosp@m.@pol.nosp@m.imi.i.nosp@m.t

Definition in file non_deterministic_flows.hpp.