pub struct Engine { /* private fields */ }Implementations§
Source§impl Engine
impl Engine
pub fn new(config: &ValidatorConfig) -> Engine
pub fn reset(&mut self)
pub fn set_max_steps(&mut self, max_steps: usize)
pub fn new_step(&mut self)
pub fn add_ok(&mut self, n: Node, s: ShapeLabelIdx)
pub fn add_failed(&mut self, n: Node, s: ShapeLabelIdx, err: ValidatorError)
pub fn more_pending(&self) -> bool
pub fn add_pending(&mut self, n: Node, s: ShapeLabelIdx)
pub fn pop_pending(&mut self) -> Option<Atom<(Node, ShapeLabelIdx)>>
pub fn steps(&self) -> usize
pub fn max_steps(&self) -> usize
pub fn insert_pending(&mut self, atom: &Atom<(Node, ShapeLabelIdx)>)
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Engine
impl !RefUnwindSafe for Engine
impl !Send for Engine
impl !Sync for Engine
impl Unpin for Engine
impl !UnwindSafe for Engine
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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more