Struct Biconditional 

pub struct Biconditional { /* private fields */ }

Implementations

impl Biconditional

pub fn new<L, R>(left: &L, right: &R) -> Self

where L: Sentence + Clone, R: Sentence + Clone,

Trait Implementations

impl Clone for Biconditional

fn clone(&self) -> Biconditional

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for Biconditional

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

Formats the value using the given formatter.

impl Sentence for Biconditional

fn eval(&self, model: &Model) -> Option<bool>

fn symbols(&self) -> Vec<&Symbol>

fn formula(&self) -> String

fn symbols_unique(&self) -> Vec<&Symbol>