Struct NotRestrictFact 

pub struct NotRestrictFact {
    pub obj: Obj,
    pub obj_cannot_restrict_to_fn_set: Obj,
    pub line_file: LineFile,
}

Fields

obj: Obj

obj_cannot_restrict_to_fn_set: Obj

line_file: LineFile

Implementations

impl NotRestrictFact

pub fn new( obj: Obj, obj_cannot_restrict_to_fn_set: Obj, line_file: LineFile, ) -> Self

impl NotRestrictFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for NotRestrictFact

fn clone(&self) -> NotRestrictFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for NotRestrictFact

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

Formats the value using the given formatter.

impl From<NotRestrictFact> for AtomicFact

fn from(f: NotRestrictFact) -> Self

Converts to this type from the input type.

impl From<NotRestrictFact> for Fact

fn from(f: NotRestrictFact) -> Self

Converts to this type from the input type.