Struct DefFamilyStmt 

pub struct DefFamilyStmt {
    pub name: String,
    pub params_def_with_type: ParamDefWithType,
    pub dom_facts: Vec<OrAndChainAtomicFact>,
    pub equal_to: Obj,
    pub line_file: LineFile,
}

Fields

name: String

params_def_with_type: ParamDefWithType

dom_facts: Vec<OrAndChainAtomicFact>

equal_to: Obj

line_file: LineFile

Implementations

impl DefFamilyStmt

pub fn new( name: String, params_def_with_type: ParamDefWithType, dom_facts: Vec<OrAndChainAtomicFact>, equal_to: Obj, line_file: LineFile, ) -> Self

impl DefFamilyStmt

pub fn stmt_type_name(&self) -> String

impl DefFamilyStmt

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for DefFamilyStmt

fn clone(&self) -> DefFamilyStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for DefFamilyStmt

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

Formats the value using the given formatter.

impl From<DefFamilyStmt> for Stmt

fn from(v: DefFamilyStmt) -> Self

Converts to this type from the input type.