Struct PredicateDef 

pub struct PredicateDef {
    pub name: String,
    pub args: Vec<(Vec<String>, String)>,
    pub parents: Vec<Vec<String>>,
    pub statements: Vec<Statement>,
}

Fields

name: String

args: Vec<(Vec<String>, String)>

parents: Vec<Vec<String>>

statements: Vec<Statement>

Trait Implementations

impl Debug for PredicateDef

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

Formats the value using the given formatter.

impl Display for PredicateDef

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

Formats the value using the given formatter.

impl PartialEq for PredicateDef

fn eq(&self, other: &PredicateDef) -> 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 StructuralPartialEq for PredicateDef