Symmetri
Loading...
Searching...
No Matches
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 12]
 Csymmetri::CallbackCallback is a wrapper around any type that you to tie to a transition. Typically this is an invokable object, such as a function, that executes some side-effects, but it can by anything if you implement a fire function for it. The output can be used to communicate success or failure to the petri-net executor. You can create custom behavior by defining a tailored "Token fire(const A&)" for your class A
 Csymmetri::DirectMutationA DirectMutation is a synchronous no-operation function. It simply mutates the mutation on the petri net executor loop. This way the deferring to the threadpool and back to the petri net loop is avoided
 Csymmetri::EventThis struct defines a subset of data that we associate with the result of firing a transition
 Csymmetri::PetriPetri is a data structure that encodes the Petri net and holds pointers to the thread-pool and the reducer-queue. It is optimized for calculating the active transition set and dispatching a Callback to the TaskSystem
 Csymmetri::PetriNetPetriNet exposes the possible constructors to create PetriNets. It also allows the user to register a Callback to a transition, or to get a handle for input-transitions
 CQueue
 Csymmetri::TaskQueueTaskQueue is an inheritance based alias for a lock-free queue
 Csymmetri::SmallEventMinimal Event representation
 Csymmetri::TaskSystemCreate a TaskSystem object. The only way to create a TaskSystem is through this factory. We enforce the use of a smart pointer to make sure the pool stays alive until both the original scope of the pool and net is exited
 Csymmetri::TokenTokens are elements that can reside in places. Tokens can have a color which makes them distinguishable from other tokens. Tokens that have the same color are not distinguishable. Users can create their own token-colors by either using the CREATE_CUSTOM_TOKEN-macro (compile-time) or by calling Token's public constructor which takes a token-name
 Csymmetri::Canceled
 Csymmetri::Deadlocked
 Csymmetri::Failed
 Csymmetri::Paused
 Csymmetri::Scheduled
 Csymmetri::Started
 Csymmetri::Success