Enum AndersenConstraint2 

pub enum AndersenConstraint2 {
    AddressOf {
        dest: u32,
        src: MemLocation,
    },
    Copy {
        dest: u32,
        src: u32,
    },
    Load {
        dest: u32,
        ptr: u32,
    },
    Store {
        ptr: u32,
        src: u32,
    },
    Call {
        ret: u32,
        func: u32,
        args: Vec<u32>,
    },
}

Andersen-style points-to constraint

Variants

AddressOf

Fields

dest: u32

src: MemLocation

Copy

Fields

dest: u32

src: u32

Load

Fields

dest: u32

ptr: u32

Store

Fields

ptr: u32

src: u32

Call

Fields

ret: u32

func: u32

args: Vec<u32>

Trait Implementations

impl Clone for AndersenConstraint2

fn clone(&self) -> AndersenConstraint2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AndersenConstraint2

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

Formats the value using the given formatter.