Here is a list of all documented variables with links to the class documentation for each member:

• case_id : symmetri::Event, symmetri::Petri
• final_marking : symmetri::Petri
• initial_tokens : symmetri::Petri
• input_n : symmetri::Petri
• log : symmetri::Petri
• net : symmetri::Petri
• output_n : symmetri::Petri
• p_to_ts_n : symmetri::Petri
• place : symmetri::Petri
• pool : symmetri::Petri
• priority : symmetri::Petri
• reducer_queue : symmetri::Petri
• scheduled_callbacks : symmetri::Petri
• stamp : symmetri::Event, symmetri::SmallEvent
• state : symmetri::Event, symmetri::Petri, symmetri::SmallEvent
• store : symmetri::Petri
• thread_id_ : symmetri::Petri
• tokens : symmetri::Petri
• transition : symmetri::Event, symmetri::Petri, symmetri::SmallEvent