libDDD/libddd.html/FixObserver_8hh_source.html

 #ifndef FIXOBSERVER_HH_

 #define FIXOBSERVER_HH_


 class GSDD;

 class GDDD;


 namespace fobs {


 class FixObserver {

 public:

   FixObserver (){}

   virtual ~FixObserver () {}


   virtual bool should_interrupt (const GSDD & after, const GSDD & before) = 0;

   virtual bool should_interrupt (const GDDD & after, const GDDD & before) = 0;

   virtual bool was_interrupted () const = 0;

   virtual void update (const GSDD & after, const GSDD & before) = 0;

   virtual void update (const GDDD & after, const GDDD & before) = 0;

 };


 FixObserver *

 get_fixobserver ();


 void

 set_fixobserver (FixObserver *);


 }


 #endif

GDDD
This class is the base class representing a Data Decision Diagram.
Definition: DDD.h:49

GSDD
This class is the base class representing a hierarchical Set Decision Diagram.
Definition: SDD.h:49

fobs::FixObserver
Definition: FixObserver.hh:10

fobs::FixObserver::update
virtual void update(const GSDD &after, const GSDD &before)=0

fobs::FixObserver::update
virtual void update(const GDDD &after, const GDDD &before)=0

fobs::FixObserver::should_interrupt
virtual bool should_interrupt(const GSDD &after, const GSDD &before)=0

fobs::FixObserver::~FixObserver
virtual ~FixObserver()
Definition: FixObserver.hh:13

fobs::FixObserver::should_interrupt
virtual bool should_interrupt(const GDDD &after, const GDDD &before)=0

fobs::FixObserver::FixObserver
FixObserver()
Definition: FixObserver.hh:12

fobs::FixObserver::was_interrupted
virtual bool was_interrupted() const =0

fobs
Definition: FixObserver.cpp:5

fobs::set_fixobserver
void set_fixobserver(FixObserver *o)
Definition: FixObserver.cpp:21

fobs::get_fixobserver
FixObserver * get_fixobserver()
Definition: FixObserver.cpp:28