Struct ForallFact 

pub struct ForallFact {
    pub params_def_with_type: ParamDefWithType,
    pub dom_facts: Vec<Fact>,
    pub then_facts: Vec<ExistOrAndChainAtomicFact>,
    pub line_file: LineFile,
}

Fields

params_def_with_type: ParamDefWithType

dom_facts: Vec<Fact>

then_facts: Vec<ExistOrAndChainAtomicFact>

line_file: LineFile

Implementations

impl ForallFact

pub fn new( params_def_with_type: ParamDefWithType, dom_facts: Vec<Fact>, then_facts: Vec<ExistOrAndChainAtomicFact>, line_file: LineFile, ) -> Result<Self, RuntimeError>

pub fn expand_then_facts_with_order_chain_closure( &mut self, ) -> Result<(), RuntimeError>

impl ForallFact

pub fn error_messages_if_forall_param_missing_in_some_then_clause( &self, ) -> Vec<(usize, String)>

impl ForallFact

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for ForallFact

fn clone(&self) -> ForallFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for ForallFact

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

Formats the value using the given formatter.

impl From<ForallFact> for Fact

fn from(forall_fact: ForallFact) -> Self

Converts to this type from the input type.