pub struct NonNullFilteredChart {
pub automaton: Explicit,
pub state_origins: Vec<(StateId, usize)>,
}Expand description
A chart filtered to terms whose interpretation evaluates successfully.
Fields§
§automaton: ExplicitFiltered automaton.
state_origins: Vec<(StateId, usize)>For each filtered state, its source-chart state and dense filter-state ID.
Trait Implementations§
Auto Trait Implementations§
impl !Freeze for NonNullFilteredChart
impl RefUnwindSafe for NonNullFilteredChart
impl Send for NonNullFilteredChart
impl Sync for NonNullFilteredChart
impl Unpin for NonNullFilteredChart
impl UnsafeUnpin for NonNullFilteredChart
impl UnwindSafe for NonNullFilteredChart
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