op_include.h File Reference

Includes all observer plugin headers. More...

#include "op_mc.h"
#include "corefaudes.h"
#include "syn_include.h"
#include "op_debug.h"
#include "op_partition.h"
#include <vector>
#include <map>
#include <string>
#include <sstream>
#include <stack>
#include "op_observercomputation.h"
#include "op_bisimulation.h"

Go to the source code of this file.


Detailed Description

Includes all observer plugin headers.

Definition in file op_include.h.

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen