pub struct ConstraintClause {
pub atoms: Vec<ConstraintAtom>,
}Expand description
One conjunctive clause in a disjunctive-normal-form constraint.
Fields§
§atoms: Vec<ConstraintAtom>Atoms that must all hold.
Implementations§
Source§impl ConstraintClause
impl ConstraintClause
Sourcepub const fn new(atoms: Vec<ConstraintAtom>) -> Self
pub const fn new(atoms: Vec<ConstraintAtom>) -> Self
Builds a clause from atoms.
Sourcepub fn evaluate(&self, grammar: &Grammar, input: &str) -> TruthValue
pub fn evaluate(&self, grammar: &Grammar, input: &str) -> TruthValue
Evaluates the clause over one input.
Trait Implementations§
Source§impl Clone for ConstraintClause
impl Clone for ConstraintClause
Source§fn clone(&self) -> ConstraintClause
fn clone(&self) -> ConstraintClause
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 ConstraintClause
impl Debug for ConstraintClause
Source§impl Default for ConstraintClause
impl Default for ConstraintClause
Source§fn default() -> ConstraintClause
fn default() -> ConstraintClause
Returns the “default value” for a type. Read more
Source§impl PartialEq for ConstraintClause
impl PartialEq for ConstraintClause
Source§fn eq(&self, other: &ConstraintClause) -> bool
fn eq(&self, other: &ConstraintClause) -> bool
Tests for
self and other values to be equal, and is used by ==.impl Eq for ConstraintClause
impl StructuralPartialEq for ConstraintClause
Auto Trait Implementations§
impl Freeze for ConstraintClause
impl RefUnwindSafe for ConstraintClause
impl Send for ConstraintClause
impl Sync for ConstraintClause
impl Unpin for ConstraintClause
impl UnsafeUnpin for ConstraintClause
impl UnwindSafe for ConstraintClause
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,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
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.