pub struct ParserMembershipOracle { /* private fields */ }Expand description
Active-learning oracle backed by a ParserRegistry parser.
Implementations§
Source§impl ParserMembershipOracle
impl ParserMembershipOracle
Sourcepub fn new(
registry: ParserRegistry,
language: impl Into<String>,
alphabet: Vec<Symbol>,
) -> Self
pub fn new( registry: ParserRegistry, language: impl Into<String>, alphabet: Vec<Symbol>, ) -> Self
Builds a parser-backed oracle with the default clean-structural predicate.
Sourcepub const fn with_configuration(self, configuration: ParseConfiguration) -> Self
pub const fn with_configuration(self, configuration: ParseConfiguration) -> Self
Returns this oracle with a different parse configuration.
Sourcepub const fn with_acceptance_predicate(
self,
acceptance: ParserAcceptancePredicate,
) -> Self
pub const fn with_acceptance_predicate( self, acceptance: ParserAcceptancePredicate, ) -> Self
Returns this oracle with a custom acceptance predicate over parser output.
Trait Implementations§
Source§impl Clone for ParserMembershipOracle
impl Clone for ParserMembershipOracle
Source§fn clone(&self) -> ParserMembershipOracle
fn clone(&self) -> ParserMembershipOracle
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ParserMembershipOracle
impl Debug for ParserMembershipOracle
Source§impl Oracle for ParserMembershipOracle
impl Oracle for ParserMembershipOracle
Source§fn membership(&self, word: &[Symbol]) -> bool
fn membership(&self, word: &[Symbol]) -> bool
Returns
true when word is in the target language.Source§fn equivalence(
&self,
hypothesis: &Dfa,
config: &ActiveLearningConfig,
) -> Option<Vec<Symbol>>
fn equivalence( &self, hypothesis: &Dfa, config: &ActiveLearningConfig, ) -> Option<Vec<Symbol>>
Returns a counterexample when
hypothesis disagrees with the target. Read moreAuto Trait Implementations§
impl Freeze for ParserMembershipOracle
impl !RefUnwindSafe for ParserMembershipOracle
impl !Send for ParserMembershipOracle
impl !Sync for ParserMembershipOracle
impl Unpin for ParserMembershipOracle
impl UnsafeUnpin for ParserMembershipOracle
impl !UnwindSafe for ParserMembershipOracle
Blanket Implementations§
§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Returns the layout of the type.