Struct ChainFact 

pub struct ChainFact {
    pub objs: Vec<Obj>,
    pub prop_names: Vec<AtomicName>,
    pub line_file: LineFile,
}

Fields

objs: Vec<Obj>

prop_names: Vec<AtomicName>

line_file: LineFile

Implementations

impl ChainFact

pub fn facts_with_order_transitive_closure( &self, ) -> Result<Vec<AtomicFact>, RuntimeError>

impl ChainFact

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

pub fn line_file(&self) -> LineFile

pub fn facts(&self) -> Result<Vec<AtomicFact>, RuntimeError>

impl ChainFact

pub fn key(&self) -> String

pub fn get_args_from_fact(&self) -> Vec<Obj>

impl ChainFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for ChainFact

fn clone(&self) -> ChainFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for ChainFact

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

Formats the value using the given formatter.

impl From<ChainFact> for ExistOrAndChainAtomicFact

fn from(c: ChainFact) -> Self

Converts to this type from the input type.

impl From<ChainFact> for Fact

fn from(chain_fact: ChainFact) -> Self

Converts to this type from the input type.