Struct SetBuilder 

pub struct SetBuilder {
    pub param: String,
    pub param_set: Box<Obj>,
    pub facts: Vec<OrAndChainAtomicFact>,
}

Fields

param: String

param_set: Box<Obj>

facts: Vec<OrAndChainAtomicFact>

Implementations

impl SetBuilder

pub fn new( param: String, param_set: Obj, facts: Vec<OrAndChainAtomicFact>, ) -> Self

pub fn new_with_mangled_name( user_param: String, param_set: Obj, facts: Vec<OrAndChainAtomicFact>, ) -> Self

impl SetBuilder

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for SetBuilder

fn clone(&self) -> SetBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for SetBuilder

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

Formats the value using the given formatter.

impl From<SetBuilder> for Obj

fn from(s: SetBuilder) -> Self

Converts to this type from the input type.