interstate_edge.h File Reference

#include <boost/lexical_cast.hpp>
#include <memory>
#include <nlohmann/json.hpp>
#include <string>
#include <unordered_map>
#include "sdfg/control_flow/state.h"
#include "sdfg/element.h"
#include "sdfg/graph/graph.h"
#include "sdfg/symbolic/symbolic.h"

Go to the source code of this file.

Classes
class	sdfg::control_flow::InterstateEdge
	An edge connecting two states in an SDFG control-flow graph. More...

Namespaces
namespace	sdfg
namespace	sdfg::builder
namespace	sdfg::control_flow

Typedefs
using	json = nlohmann::json
typedef symbolic::SymbolMap	sdfg::control_flow::Assignments
	Type alias for symbol assignments on interstate edges.

Typedef Documentation

json

using json = nlohmann::json