irafhy::Verifier Class Reference

#include <verifier.h>

Inheritance diagram for irafhy::Verifier:

Collaboration diagram for irafhy::Verifier:

Public Member Functions
virtual	~Verifier ()=default
	destructor More...
virtual bool	verify (const Settings &settings, const void *hybridAutomaton) const =0
	check if the simulation should be terminated or not More...

Constructor & Destructor Documentation

~Verifier()

virtual irafhy::Verifier::~Verifier ( )

virtualdefault

destructor

Member Function Documentation

verify()

virtual bool irafhy::Verifier::verify ( const Settings &  settings, const void *  hybridAutomaton  ) const

pure virtual

check if the simulation should be terminated or not

Parameters

settings	related settings of the simulation
hybridAutomaton	hybrid automaton object

Returns

TRUE if the simulation can go on

---

The documentation for this class was generated from the following file:

• /home/jianqiang/CLionProjects/irafhy/include/irafhy/verifier.h