Struct adapton::engine::Flags
[−]
[src]
pub struct Flags { pub use_purity_optimization: bool, pub ignore_nominal_use_structural: bool, pub check_dcg_is_wf: bool, pub write_dcg: bool, pub gmlog_dcg: bool, }
Flags control runtime behavior of the DCG.
Fields
use_purity_optimization: bool
ignore_nominal_use_structural: bool
Ignore the Nominal
ArtIdChoice
, and use Structural
behavior instead
check_dcg_is_wf: bool
After each Adapton operation, check that the DCG is well-formed
write_dcg: bool
Within each well-formedness check, write the DCG to the local filesystem
gmlog_dcg: bool
Deprecated: At certain points in the Engine's code, write state changes as graph-movie output TODO: To be replaced with DCG reflection, and reflection-to-filesystem logic.