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