MartyPathTypes.h File Reference

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

Go to the source code of this file.

Enumerations
enum class	MartyPath {   MODEL_FILE , SM_MODEL_FILE , TEMPLATE_DIR , PARAM_MAPPING_DIR ,   SM_MAPPING_FILE , BSM_MAPPING_FILE , MARTY_TEMP_DIR }
	Enumerates MARTY-related filesystem resources. More...

Enumeration Type Documentation

MartyPath

enum class MartyPath

strong

Enumerates MARTY-related filesystem resources.

MODEL_FILE: path to the MARTY model header file. SM_MODEL_FILE: packaged Standard Model MARTY header used by the SM backend. TEMPLATE_DIR: read-only MARTY template directory. PARAM_MAPPING_DIR: read-only directory containing mapping JSON files. SM_MAPPING_FILE: read-only Hyperiso/SM mapping file. BSM_MAPPING_FILE: optional user-provided BSM mapping file. MARTY_TEMP_DIR: writable generated-code/cache directory.

Enumerator
MODEL_FILE
SM_MODEL_FILE
TEMPLATE_DIR
PARAM_MAPPING_DIR
SM_MAPPING_FILE
BSM_MAPPING_FILE
MARTY_TEMP_DIR

Definition at line 16 of file MartyPathTypes.h.