Struct NotBijectiveFact 

pub struct NotBijectiveFact {
    pub function: Obj,
    pub line_file: LineFile,
}

Fields

function: Obj

line_file: LineFile

Implementations

impl NotBijectiveFact

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

Trait Implementations

impl Clone for NotBijectiveFact

fn clone(&self) -> NotBijectiveFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for NotBijectiveFact

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

Formats the value using the given formatter.

impl From<NotBijectiveFact> for AtomicFact

fn from(f: NotBijectiveFact) -> Self

Converts to this type from the input type.