rlmesh::adapters::ResolveOptions
Keywords for adapter resolution. Build with ..Default::default(); adding an options field is a minor change by project policy.
struct ResolveOptionsFields
Methods
trust_entrypoints
field[source]trust_entrypoints: boolAllow registered custom-input entrypoints; defaults to false.
check_inverse
field[source]check_inverse: boolCheck that distinct two-arm custom encodings are inverses; defaults to true.
trust_entrypoints
method[source]fn trust_entrypoints(self, v: bool) -> SelfSet whether registered custom-input entrypoints may be used.
check_inverse
method[source]fn check_inverse(self, v: bool) -> SelfSet whether distinct two-arm custom encodings are inverse-checked.
Trait implementations
- impl Clone for ResolveOptions
- impl Debug for ResolveOptions
- impl Default for ResolveOptions