Enum foliage::Formula

pub enum Formula {
    And(Formulas),
    Boolean(bool),
    Compare(Compare),
    Exists(Exists),
    ForAll(ForAll),
    IfAndOnlyIf(IfAndOnlyIf),
    Implies(Implies),
    Not(Box<Formula>),
    Or(Formulas),
    Predicate(Predicate),
}

Variants

And(Formulas)

Boolean(bool)

Compare(Compare)

Exists(Exists)

ForAll(ForAll)

IfAndOnlyIf(IfAndOnlyIf)

Implies(Implies)

Not(Box<Formula>)

Or(Formulas)

Predicate(Predicate)

Methods

impl Formula

pub fn and(arguments: Formulas) -> Self

pub fn boolean(value: bool) -> Self

pub fn compare(
    operator: ComparisonOperator,
    left: Box<Term>,
    right: Box<Term>
) -> Self

pub fn exists(
    parameters: Rc<VariableDeclarations>,
    argument: Box<Formula>
) -> Self

pub fn equal(left: Box<Term>, right: Box<Term>) -> Self

pub fn false_() -> Self

pub fn for_all(
    parameters: Rc<VariableDeclarations>,
    argument: Box<Formula>
) -> Self

pub fn greater(left: Box<Term>, right: Box<Term>) -> Self

pub fn greater_or_equal(left: Box<Term>, right: Box<Term>) -> Self

pub fn if_and_only_if(left: Box<Formula>, right: Box<Formula>) -> Self

pub fn implies(antecedent: Box<Formula>, consequent: Box<Formula>) -> Self

pub fn less(left: Box<Term>, right: Box<Term>) -> Self

pub fn less_or_equal(left: Box<Term>, right: Box<Term>) -> Self

pub fn not(argument: Box<Formula>) -> Self

pub fn not_equal(left: Box<Term>, right: Box<Term>) -> Self

pub fn or(arguments: Formulas) -> Self

pub fn predicate(
    declaration: &Rc<PredicateDeclaration>,
    arguments: Vec<Box<Term>>
) -> Self

pub fn true_() -> Self

Trait Implementations

impl Debug for Formula

fn fmt(&self, format: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Display for Formula

fn fmt(&self, format: &mut Formatter) -> Result

Formats the value using the given formatter.