Struct PredSpec 

pub struct PredSpec {
    pub op: Option<String>,
    pub not_op: Option<String>,
    pub const_val: Option<String>,
    pub equal: Option<Vec<EqualPair>>,
    pub lhs: Option<Box<PredSpec>>,
    pub rhs: Option<Box<PredSpec>>,
    pub arity: Option<usize>,
    pub children: Option<Vec<PredSpec>>,
}

Describes how a predicate is specified in a rule file.

Fields

op: Option<String>

not_op: Option<String>

const_val: Option<String>

equal: Option<Vec<EqualPair>>

lhs: Option<Box<PredSpec>>

rhs: Option<Box<PredSpec>>

arity: Option<usize>

children: Option<Vec<PredSpec>>

Trait Implementations

impl Clone for PredSpec

fn clone(&self) -> PredSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PredSpec

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

Formats the value using the given formatter.

impl Default for PredSpec

fn default() -> PredSpec

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for PredSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for PredSpec

fn eq(&self, other: &PredSpec) -> 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 TryInto<Predicate> for PredSpec

type Error = String

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Predicate, Self::Error>

Performs the conversion.

impl Eq for PredSpec

impl StructuralPartialEq for PredSpec