Struct elba::resolve::assignment::Assignment

pub struct Assignment {
    pub step: u16,
    pub level: u16,
    pub ty: AssignmentType,
    pub pkg: PackageId,
}

Fields

step: u16

level: u16

ty: AssignmentType

pkg: PackageId

Methods

impl Assignment

pub fn new(step: u16, level: u16, pkg: PackageId, ty: AssignmentType) -> Self

pub fn ty(&self) -> &AssignmentType

pub fn pkg(&self) -> &PackageId

pub fn step(&self) -> u16

pub fn level(&self) -> u16

pub fn cause(&self) -> Option<usize>

pub fn constraint(&self) -> Constraint

pub fn is_positive(&self) -> bool

Trait Implementations

impl Eq for Assignment

impl PartialEq<Assignment> for Assignment

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

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

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

This method tests for !=.

impl Clone for Assignment

fn clone(&self) -> Assignment

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Assignment

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

Formats the value using the given formatter.