Enum OptimizationPass 

pub enum OptimizationPass {
    ConstantFolding,
    ConstantPropagation,
    AlgebraicSimplification,
    NegationNormalForm,
    ModalEquivalences,
    TemporalEquivalences,
    DistributiveAndOverOr,
    DistributiveOrOverAnd,
    DistributiveQuantifiers,
    DistributiveModal,
}

A single optimization pass.

Variants

ConstantFolding

Constant folding

ConstantPropagation

Constant propagation

AlgebraicSimplification

Algebraic simplification

NegationNormalForm

Convert to negation normal form

ModalEquivalences

Apply modal logic equivalences

TemporalEquivalences

Apply temporal logic equivalences

DistributiveAndOverOr

Apply distributive laws (AND over OR)

DistributiveOrOverAnd

Apply distributive laws (OR over AND)

DistributiveQuantifiers

Apply distributive laws for quantifiers

DistributiveModal

Apply distributive laws for modal operators

Implementations

impl OptimizationPass

pub fn name(&self) -> &'static str

Get the name of this pass.

pub fn apply(&self, expr: TLExpr) -> TLExpr

Apply this pass to an expression.

pub fn priority(&self) -> u32

Get the priority of this pass (lower = earlier in pipeline).

pub fn for_level(level: OptimizationLevel) -> Vec<OptimizationPass>

Get all passes for a given optimization level.

Trait Implementations

impl Clone for OptimizationPass

fn clone(&self) -> OptimizationPass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OptimizationPass

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

Formats the value using the given formatter.

impl PartialEq for OptimizationPass

fn eq(&self, other: &OptimizationPass) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for OptimizationPass

impl Eq for OptimizationPass

impl StructuralPartialEq for OptimizationPass