Symmetri/parsers_8h_source.html

#pragma once


#include <set>

#include <tuple>


#include "symmetri/types.h"

namespace symmetri {


std::tuple<Net, Marking, PriorityTable> readGrml(

    const std::set<std::string> &files);


std::tuple<Net, Marking> readPnml(const std::set<std::string> &files);


}  // namespace symmetri

symmetri::readPnml
std::tuple< Net, Marking > readPnml(const std::set< std::string > &files)
Given a set of unique paths to pnml-files, it parses and merges them, and returns one Net and initial...
Definition pnml_parser.cpp:12

types.h