Struct typeql::pattern::Negation

pub struct Negation {
    pub pattern: Box<Pattern>,
    /* private fields */
}

Fields

pattern: Box<Pattern>

Implementations

impl Negation

pub fn new(pattern: Pattern) -> Self

pub fn variables_recursive( &self ) -> Box<dyn Iterator<Item = VariableRef<'_>> + '_>

pub fn validate_is_bounded_by( &self, bounds: &HashSet<VariableRef<'_>> ) -> Result

Trait Implementations

impl Clone for Negation

fn clone(&self) -> Negation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Negation

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

Formats the value using the given formatter.

impl Display for Negation

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

Formats the value using the given formatter.

impl From<Negation> for Pattern

fn from(x: Negation) -> Self

Converts to this type from the input type.

impl Normalisable for Negation

fn normalise(&mut self) -> Pattern

fn compute_normalised(&self) -> Pattern

impl PartialEq for Negation

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Validatable for Negation

fn validate(&self) -> Result

fn validated(self) -> Result<Self>

impl Eq for Negation

impl StructuralEq for Negation