Enum MMPStep 

pub enum MMPStep {
    DivisorialContraction {
        contracted_divisor: String,
    },
    Flip {
        flipping_locus: String,
    },
    MinimalModel,
    FanoFibration {
        base: String,
    },
}

Minimal model program step: classify the type of the contraction.

Variants

DivisorialContraction

Contract a divisor E to a variety of strictly smaller Picard number.

Fields

contracted_divisor: String

Flip

Replace a flipping contraction by its flip.

Fields

flipping_locus: String

MinimalModel

Reached a minimal model (K_X nef).

FanoFibration

X is uniruled and MMP terminates in a Fano fibration.

Fields

base: String

Implementations

impl MMPStep

pub fn description(&self) -> String

Description of the MMP step.

pub fn is_terminal(&self) -> bool

Check if this step terminates the MMP.

Trait Implementations

impl Clone for MMPStep

fn clone(&self) -> MMPStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MMPStep

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

Formats the value using the given formatter.

impl PartialEq for MMPStep

fn eq(&self, other: &MMPStep) -> 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 Eq for MMPStep

impl StructuralPartialEq for MMPStep