Enum sv_parser::ConstraintExpression
source · pub enum ConstraintExpression {
Expression(Box<ConstraintExpressionExpression, Global>),
UniquenessConstraint(Box<(UniquenessConstraint, Symbol), Global>),
Arrow(Box<ConstraintExpressionArrow, Global>),
If(Box<ConstraintExpressionIf, Global>),
Foreach(Box<ConstraintExpressionForeach, Global>),
Disable(Box<ConstraintExpressionDisable, Global>),
}
Variants§
Expression(Box<ConstraintExpressionExpression, Global>)
UniquenessConstraint(Box<(UniquenessConstraint, Symbol), Global>)
Arrow(Box<ConstraintExpressionArrow, Global>)
If(Box<ConstraintExpressionIf, Global>)
Foreach(Box<ConstraintExpressionForeach, Global>)
Disable(Box<ConstraintExpressionDisable, Global>)
Trait Implementations§
source§impl Clone for ConstraintExpression
impl Clone for ConstraintExpression
source§fn clone(&self) -> ConstraintExpression
fn clone(&self) -> ConstraintExpression
Returns a copy of the value. Read more
1.0.0 · 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 ConstraintExpression
impl Debug for ConstraintExpression
source§impl<'a> From<&'a ConstraintExpression> for RefNode<'a>
impl<'a> From<&'a ConstraintExpression> for RefNode<'a>
source§fn from(x: &'a ConstraintExpression) -> RefNode<'a>
fn from(x: &'a ConstraintExpression) -> RefNode<'a>
Converts to this type from the input type.
source§impl<'a> From<&'a ConstraintExpression> for RefNodes<'a>
impl<'a> From<&'a ConstraintExpression> for RefNodes<'a>
source§fn from(x: &'a ConstraintExpression) -> RefNodes<'a>
fn from(x: &'a ConstraintExpression) -> RefNodes<'a>
Converts to this type from the input type.
source§impl From<ConstraintExpression> for AnyNode
impl From<ConstraintExpression> for AnyNode
source§fn from(x: ConstraintExpression) -> AnyNode
fn from(x: ConstraintExpression) -> AnyNode
Converts to this type from the input type.
source§impl<'a> IntoIterator for &'a ConstraintExpression
impl<'a> IntoIterator for &'a ConstraintExpression
source§impl PartialEq<ConstraintExpression> for ConstraintExpression
impl PartialEq<ConstraintExpression> for ConstraintExpression
source§fn eq(&self, other: &ConstraintExpression) -> bool
fn eq(&self, other: &ConstraintExpression) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.