GeneralModelModifier.h File Reference

Declares a general-purpose ModelModifier for non-numeric templates. More...

#include <unordered_map>
#include <cctype>
#include <algorithm>
#include <optional>
#include <string>
#include <utility>
#include <vector>
#include "ModelModifier.h"
#include "ModelFileChecker.h"
#include "config.hpp"

Include dependency graph for GeneralModelModifier.h:

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

Go to the source code of this file.

Classes
class	GeneralModelModifier
	ModelModifier that rewrites SM templates into a target model. More...

Detailed Description

Declares a general-purpose ModelModifier for non-numeric templates.

This class adapts a generic SM-based MARTY template to another model by resolving the model class declared in the user-provided model file and rewriting the default SM_Model sm; instantiation accordingly.

Definition in file GeneralModelModifier.h.