#include <FixObserver.hh>
Inheritance diagram for fobs::FixObserver:
Collaboration diagram for fobs::FixObserver:
Public Member Functions | |
| 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 |
Constructor & Destructor Documentation
◆ FixObserver()
|
inline |
◆ ~FixObserver()
|
inlinevirtual |
Member Function Documentation
◆ should_interrupt() [1/2]
|
pure virtual |
Implemented in fobs::DefaultObserver.
◆ should_interrupt() [2/2]
|
pure virtual |
- Warning
- : if should_interrult() returns true, then it MUST return true at least until the next call to update(). The attribute is_interrupted is here for this purpose: it can be set to true only by should_interrupt and to false only by update, and is_interrupted => should_interrupt returns true
Implemented in fobs::DefaultObserver.
Referenced by testWasInterrupt().
◆ update() [1/2]
Implemented in fobs::DefaultObserver.
◆ update() [2/2]
Implemented in fobs::DefaultObserver.
Referenced by sns::Fixpoint::eval(), sns::testShouldInterrupt(), and testWasInterrupt().
◆ was_interrupted()
|
pure virtual |
Implemented in fobs::DefaultObserver.
Referenced by sns::Fixpoint::eval().
The documentation for this class was generated from the following file:
