Struct ParMap 

pub struct ParMap {
    pub ps: SortedParMap,
    pub connective_used: bool,
    pub locally_free: Vec<u8>,
    pub remainder: Option<Var>,
}

Fields

ps: SortedParMap

connective_used: bool

locally_free: Vec<u8>

remainder: Option<Var>

Implementations

impl ParMap

pub fn new( vec: Vec<(Par, Par)>, connective_used: bool, locally_free: Vec<u8>, remainder: Option<Var>, ) -> ParMap

pub fn create_from_vec(vec: Vec<(Par, Par)>) -> Self

pub fn create_from_sorted_par_map(map: SortedParMap) -> Self

pub fn equals(&self, other: ParMap) -> bool

Trait Implementations

impl Clone for ParMap

fn clone(&self) -> ParMap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParMap

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

Formats the value using the given formatter.