Struct Clause

pub struct Clause<T = IRTerm> {
    pub head: Literal<T>,
    pub body: Vec<Literal<T>>,
}

Fields

head: Literal<T>

body: Vec<Literal<T>>

Implementations

impl Clause

pub fn variables(&self, include_anonymous: bool) -> HashSet<IRTerm>

Trait Implementations

impl<T: Clone> Clone for Clause<T>

fn clone(&self) -> Clause<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Clause<T>

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

Formats the value using the given formatter.

impl Display for Clause

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

Formats the value using the given formatter.

impl FromStr for Clause

type Err = String

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Ground for Clause

fn is_ground(&self) -> bool

impl<T: PartialEq> PartialEq for Clause<T>

fn eq(&self, other: &Clause<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl RenameWithSubstitution<IRTerm> for Clause<IRTerm>

type Output = Clause

fn rename_with_sub(&self) -> (Self::Output, Substitution<IRTerm>)

impl Substitute<IRTerm> for Clause<IRTerm>

type Output = Clause

fn substitute(&self, s: &Substitution<IRTerm>) -> Self::Output

impl<T> StructuralPartialEq for Clause<T>