storm::parser::GspnParser Class Reference

#include <GspnParser.h>

Static Public Member Functions
static storm::gspn::GSPN *	parse (std::string const &filename, std::string const &constantDefinitions="")

Detailed Description

Definition at line 7 of file GspnParser.h.

Member Function Documentation

parse()

storm::gspn::GSPN * storm::parser::GspnParser::parse ( std::string const &  filename, std::string const &  constantDefinitions = ""  )

static

Definition at line 15 of file GspnParser.cpp.

---

The documentation for this class was generated from the following files:

• src/storm-gspn/parser/GspnParser.h
• src/storm-gspn/parser/GspnParser.cpp