IMartyWilsonPathProxy.h File Reference

Port used by the Wilson layer to access MARTY-generated output paths. More...

#include <string>
#include "Include.h"

Include dependency graph for IMartyWilsonPathProxy.h:

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

Go to the source code of this file.

Classes
class	IMartyWilsonPathProxy

Detailed Description

Port used by the Wilson layer to access MARTY-generated output paths.

The Wilson domain must not know where Hyperiso stores writable runtime files. Implementations bridge to the Core path system, typically through MartyAdapter and MemoryManager.

Definition in file IMartyWilsonPathProxy.h.