Struct ParSet 

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

Fields

ps: SortedParHashSet

connective_used: bool

locally_free: Vec<u8>

remainder: Option<Var>

Implementations

impl ParSet

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

pub fn create_from_vec_and_remainder( vec: Vec<Par>, remainder: Option<Var>, ) -> Self

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

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

Trait Implementations

impl Clone for ParSet

fn clone(&self) -> ParSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.