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,
}
Expand description
Flags control runtime behavior of the DCG.
Fields§
§use_purity_optimization: bool
§ignore_nominal_use_structural: bool
Ignore the Nominal
NameChoice
, 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.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Flags
impl RefUnwindSafe for Flags
impl Send for Flags
impl Sync for Flags
impl Unpin for Flags
impl UnwindSafe for Flags
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more