pub struct BoolSimplifyMutation {
pub target_fn: Option<SymbolId>,
}Expand description
Fields§
§target_fn: Option<SymbolId>Target function SymbolId. If None, applies to all functions.
Implementations§
Source§impl BoolSimplifyMutation
impl BoolSimplifyMutation
pub fn new() -> Self
Sourcepub fn in_function(self, id: SymbolId) -> Self
pub fn in_function(self, id: SymbolId) -> Self
Only apply in a specific function
pub fn transform_block(&self, block: &mut PureBlock) -> usize
Trait Implementations§
Source§impl Clone for BoolSimplifyMutation
impl Clone for BoolSimplifyMutation
Source§fn clone(&self) -> BoolSimplifyMutation
fn clone(&self) -> BoolSimplifyMutation
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for BoolSimplifyMutation
impl Debug for BoolSimplifyMutation
Source§impl Default for BoolSimplifyMutation
impl Default for BoolSimplifyMutation
Source§fn default() -> BoolSimplifyMutation
fn default() -> BoolSimplifyMutation
Returns the “default value” for a type. Read more
Source§impl Mutation for BoolSimplifyMutation
impl Mutation for BoolSimplifyMutation
Source§fn mutation_type(&self) -> &'static str
fn mutation_type(&self) -> &'static str
Get the mutation type name
Source§fn validate(&self, _file: &PureFile) -> ValidationResult
fn validate(&self, _file: &PureFile) -> ValidationResult
Validate the mutation before applying Read more
Source§fn can_proceed(&self, file: &PureFile, strategy: ValidationStrategy) -> bool
fn can_proceed(&self, file: &PureFile, strategy: ValidationStrategy) -> bool
Check if this mutation can proceed with the given strategy
Auto Trait Implementations§
impl Freeze for BoolSimplifyMutation
impl RefUnwindSafe for BoolSimplifyMutation
impl Send for BoolSimplifyMutation
impl Sync for BoolSimplifyMutation
impl Unpin for BoolSimplifyMutation
impl UnsafeUnpin for BoolSimplifyMutation
impl UnwindSafe for BoolSimplifyMutation
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