Struct EmissionPolicy 

pub struct EmissionPolicy { /* private fields */ }

A complete, valid selection over the version-1 emission vocabulary.

Construction is checked so callers cannot enable kind partitions while disabling every anchor capable of carrying them.

Implementations

impl EmissionPolicy

pub const fn new( conditional_anchors: ConditionalAnchors, terminal_clauses: bool, kind_partitions: bool, ) -> Result<EmissionPolicy, InvalidEmissionPolicy>

Creates an emission policy after checking the complete knob matrix.

Errors

Returns an error when kind partitions are enabled while both root and local conditional anchors are disabled.

pub const fn root_anchored_conditionals(self) -> bool

Whether root-anchored ordinary conditionals are selected.

pub const fn local_conditionals(self) -> bool

Whether locally anchored ordinary conditionals are selected.

pub const fn terminal_clauses(self) -> bool

Whether unconditional and guarded terminal clauses are selected.

pub const fn kind_partitions(self) -> bool

Whether kind-partition refinements are selected at enabled anchors.

Trait Implementations

impl Clone for EmissionPolicy

fn clone(&self) -> EmissionPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EmissionPolicy

impl Debug for EmissionPolicy

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

Formats the value using the given formatter.

impl Eq for EmissionPolicy

impl From<EmissionPolicy> for EmissionSelection

fn from(policy: EmissionPolicy) -> EmissionSelection

Converts to this type from the input type.

impl PartialEq for EmissionPolicy

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EmissionPolicy

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for EmissionPolicy