op_observer.h File Reference


Detailed Description

Includes all observer plugin headers.

Definition in file op_observer.h.

#include "op_mc.h"
#include "op_debug.h"
#include "op_observercomputation.h"
#include "op_obserververification.h"
#include "op_partition.h"
#include "op_bisimulation.h"

Go to the source code of this file.

Defines

#define OP_OBSERVER_H


Define Documentation

#define OP_OBSERVER_H
 

Definition at line 40 of file op_observer.h.


Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4