file_engine.h File Reference

Provides an interface for file-related engine functions. More...

#include <memory>
#include <string>
#include <vector>
#include <map>
#include <chrono>
#include "mip/common_types.h"
#include "mip/error.h"
#include "mip/file/file_execution_state.h"
#include "mip/file/file_handler.h"
#include "mip/mip_namespace.h"
#include "mip/upe/label.h"
#include "mip/upe/sensitivity_types_rule_package.h"

Include dependency graph for file_engine.h:

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

Go to the source code of this file.

Classes
class	FileEngine
	Provides an interface for file-related engine functions. More...
class	FileEngine::Settings
	Represents the settings for a FileEngine instance. More...

Detailed Description

Provides an interface for file-related engine functions.

Definition in file file_engine.h.