Struct GuardedTokenMapV0 

pub struct GuardedTokenMapV0 { /* private fields */ }

Implementations

impl GuardedTokenMapV0

pub fn build( input: GuardedTokenMapInputV0, ) -> Result<GuardedTokenMapV0, FirstWitnessErrorV0>

Builds a free-boolean condition map.

Treating predicates as independent atoms enlarges the assignment space, so an unsatisfiable or tautological result remains sound under later refinement. Precision may be lost. Numeric predicate relationships are deliberately not inferred here.

pub fn build_with_config( input: GuardedTokenMapInputV0, config: FirstWitnessManagerConfigV0, ) -> Result<GuardedTokenMapV0, FirstWitnessErrorV0>

pub fn entries(&self) -> &[GuardedTokenMapEntryV0]

pub fn manager(&self) -> &FirstWitnessManagerV0

pub fn condition( &self, token: &GuardedTokenLanguageV0, ) -> Option<PresenceConditionV0>

pub fn is_must(&self, token: &GuardedTokenLanguageV0) -> bool

pub fn is_may(&self, token: &GuardedTokenLanguageV0) -> bool

pub fn is_dead_css( &mut self, token: &GuardedTokenLanguageV0, ) -> Result<bool, FirstWitnessErrorV0>

pub fn rename_is_safe( &self, from: &GuardedTokenLanguageV0, to: &GuardedTokenLanguageV0, observer: GuardedTokenObserverV0, ) -> bool

pub fn reclaim_if_due( &mut self, ) -> Result<Option<FirstWitnessRebuildReportV0>, FirstWitnessErrorV0>

Trait Implementations

impl Clone for GuardedTokenMapV0

fn clone(&self) -> GuardedTokenMapV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GuardedTokenMapV0

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

Formats the value using the given formatter.