sp_plpexecutor.h File Reference

Executor that proposes transitions to execute. More...

#include "corefaudes.h"
#include "tp_include.h"
#include "sp_lpexecutor.h"
#include "sp_simeventset.h"
#include "sp_random.h"

Go to the source code of this file.

Classes
class	faudes::ProposingExecutor
	Executer that proposes which transition to execute. More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Detailed Description

Executor that proposes transitions to execute.

Definition in file sp_plpexecutor.h.