Struct move_model::options::ModelBuilderOptions

pub struct ModelBuilderOptions {
    pub ignore_pragma_opaque_internal_only: bool,
    pub ignore_pragma_opaque_when_possible: bool,
    pub simplification_pipeline: Vec<SimplificationPass>,
}

Fields

ignore_pragma_opaque_internal_only: bool

Ignore the “opaque” pragma on internal function (i.e., functions with no unknown callers) specs when possible. The opaque can be ignored as long as the function spec has no property marked as [concrete] or [abstract].

ignore_pragma_opaque_when_possible: bool

Ignore the “opaque” pragma on all function specs when possible. The opaque can be ignored as long as the function spec has no property marked as [concrete] or [abstract].

simplification_pipeline: Vec<SimplificationPass>

List of simplification passes and the order each pass to be executed

Trait Implementations

impl Clone for ModelBuilderOptions

fn clone(&self) -> ModelBuilderOptions

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ModelBuilderOptions

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ModelBuilderOptions

fn default() -> ModelBuilderOptions

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ModelBuilderOptions where
    ModelBuilderOptions: Default, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Serialize for ModelBuilderOptions

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.