Enum AliasConstraints

pub enum AliasConstraints {
    Ref(Label),
    Alias(Label, Label),
    Assign(Label, Label),
}

Aliasing Constraints

Variants

Ref(Label)

Alias(Label, Label)

Assign(Label, Label)

Trait Implementations

impl Clone for AliasConstraints

fn clone(&self) -> AliasConstraints

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AliasConstraints

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

Formats the value using the given formatter.

impl Display for AliasConstraints

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

Formats the value using the given formatter.

impl Hash for AliasConstraints

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl LocalConstraint for AliasConstraints

const CHR_RULES: &'static str = ":- use_module(library(chr)).\r\n:- chr_constraint alias/2, assign/2, ref/1.\r\n\r\n/* set semantics for aliasing */\r\nalias(A,B) \\ alias(A,B) <=> true.\r\n\r\n/* propagating the aliasing */\r\nalias(Q, P), alias(R, Q) ==> alias(R, P).\r\n\r\n/* if P is reference type and Q must be a reference type (and vice versa)\r\nthen assigning Q = P means aliasing P to Q */\r\nref(P) \\ assign(Q, P) <=> alias(Q, P).\r\nref(Q) \\ assign(Q, P) <=> alias(Q, P).\r\n"

static CHR rules for the constraint system

fn parse(s: &str) -> IResult<&str, Self>

parse a single constraint rule

fn collect<'a>((map, fun): &Annotated<'a, &'a ItemFn>) -> Vec<Self>

Collect CHR rules from a function definition

impl PartialEq for AliasConstraints

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for AliasConstraints

impl StructuralPartialEq for AliasConstraints