Struct moore_svlog_syntax::ast::Constraint

pub struct Constraint<'a> {
    pub span: Span,
    pub kind: ConstraintKind,
    pub statik: bool,
    pub name: Name,
    pub name_span: Span,
    pub items: Vec<ConstraintItem<'a>>,
}

Fields

span: Span

kind: ConstraintKind

statik: bool

name: Name

name_span: Span

items: Vec<ConstraintItem<'a>>

Trait Implementations

impl<'a> AcceptVisitor<'a> for Constraint<'a>

pub fn accept(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over the contents of self.

impl<'a> Clone for Constraint<'a>

pub fn clone(&self) -> Constraint<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Constraint<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for Constraint<'a>

impl<'a> ForEachChild<'a> for Constraint<'a>

pub fn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))

Apply a function to each child node.

impl<'a> ForEachNode<'a> for Constraint<'a>

pub fn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))

Apply a function to this node.

impl<'a> PartialEq<Constraint<'a>> for Constraint<'a>

pub fn eq(&self, other: &Constraint<'a>) -> bool

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

pub fn ne(&self, other: &Constraint<'a>) -> bool

This method tests for !=.

impl<'a> StructuralEq for Constraint<'a>

impl<'a> StructuralPartialEq for Constraint<'a>

impl<'a> WalkVisitor<'a> for Constraint<'a>

pub fn walk(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over self.

Calling this function is equivalent to calling:

• visitor.pre_visit_constraint(self)
• self.accept(visitor)
• visitor.post_visit_constraint(self);