Struct NotNormalAtomicFact 

pub struct NotNormalAtomicFact {
    pub predicate: AtomicName,
    pub body: Vec<Obj>,
    pub line_file: LineFile,
}

Fields

predicate: AtomicName

body: Vec<Obj>

line_file: LineFile

Implementations

impl NotNormalAtomicFact

pub fn new(predicate: AtomicName, body: Vec<Obj>, line_file: LineFile) -> Self

impl NotNormalAtomicFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for NotNormalAtomicFact

fn clone(&self) -> NotNormalAtomicFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for NotNormalAtomicFact

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

Formats the value using the given formatter.

impl From<NotNormalAtomicFact> for AtomicFact

fn from(f: NotNormalAtomicFact) -> Self

Converts to this type from the input type.

impl From<NotNormalAtomicFact> for Fact

fn from(f: NotNormalAtomicFact) -> Self

Converts to this type from the input type.