Core API indicating whether the MARTY backend is active. More...

#include "HyperisoMaster.h"
#include "Config.h"
#include "ICoreAPI.h"

Include dependency graph for UseMarty.h:

This graph shows which files directly or indirectly include this file:

Classes
class	UseMarty
	Core API returning whether MARTY is used as backend. More...

Detailed Description

Core API indicating whether the MARTY backend is active.

This header defines UseMarty, a boolean-valued ICoreAPI that reports whether the current model is Model::MARTY.

Definition in file UseMarty.h.

Classes