#include <set>
#include <tuple>
#include "symmetri/types.h"
Go to the source code of this file.
|
| std::tuple< Net, Marking, PriorityTable > | symmetri::readGrml (const std::set< std::string > &files) |
| | Given a set of unique paths to grml-files, it parses and merges them, and returns one Net, initial marking and table containing transitions with their respective priority if it is not 1. If a place's initial marking is defined in multiple nets, the initial marking in the last processed net is used. Note that this is kind of random because a set orders the files. It will also register tokens for the color attributes that are in the arcs that go from a place to a transition.
|
| |
| std::tuple< Net, Marking > | symmetri::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 marking. If the net has priorities, these will not be included in the net. If a place's initial marking is defined in multiple nets, the initial marking in the last processed net is used. Note that this is kind of random because a set orders the files. It will also register tokens for the color attributes that are in the arcs that go from a place to a transition.
|
| |
◆ readGrml()
| std::tuple< Net, Marking, PriorityTable > symmetri::readGrml |
( |
const std::set< std::string > & | files | ) |
|
Given a set of unique paths to grml-files, it parses and merges them, and returns one Net, initial marking and table containing transitions with their respective priority if it is not 1. If a place's initial marking is defined in multiple nets, the initial marking in the last processed net is used. Note that this is kind of random because a set orders the files. It will also register tokens for the color attributes that are in the arcs that go from a place to a transition.
- Parameters
-
- Returns
- std::tuple<Net, Marking,PriorityTable>
◆ readPnml()
| std::tuple< Net, Marking > symmetri::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 marking. If the net has priorities, these will not be included in the net. If a place's initial marking is defined in multiple nets, the initial marking in the last processed net is used. Note that this is kind of random because a set orders the files. It will also register tokens for the color attributes that are in the arcs that go from a place to a transition.
- Parameters
-
- Returns
- std::tuple<Net, Marking>
1.12.0