Enum Formula 

pub enum Formula {
    Predicate {
        name: String,
        args: Vec<Term>,
    },
    Not(Box<Formula>),
    And(Box<Formula>, Box<Formula>),
    Or(Box<Formula>, Box<Formula>),
    Implies(Box<Formula>, Box<Formula>),
    Iff(Box<Formula>, Box<Formula>),
    ForAll {
        variable: String,
        formula: Box<Formula>,
    },
    Exists {
        variable: String,
        formula: Box<Formula>,
    },
}

A formula in FOL

Variants

Predicate

A predicate application (P(x), Loves(x, y))

Fields

name: String

args: Vec<Term>

Not(Box<Formula>)

Negation

And(Box<Formula>, Box<Formula>)

Conjunction (AND)

Or(Box<Formula>, Box<Formula>)

Disjunction (OR)

Implies(Box<Formula>, Box<Formula>)

Implication

Iff(Box<Formula>, Box<Formula>)

Biconditional

ForAll

Universal quantification

Fields

variable: String

formula: Box<Formula>

Exists

Existential quantification

Fields

variable: String

formula: Box<Formula>

Implementations

impl Formula

pub fn is_atomic(&self) -> bool

Check if formula is a simple predicate

pub fn free_variables(&self) -> Vec<String>

Get free variables in the formula

Trait Implementations

impl Clone for Formula

fn clone(&self) -> Formula

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Formula

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Formula

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Formula

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.