Struct gdl_parser::Rule

pub struct Rule {
    pub head: Sentence,
    pub body: Vec<Literal>,
}

A GDL rule contains a head Sentence that is implied by all the Literals in the body

Fields

head
body

Methods

impl Rule

fn new(head: Sentence, body: Vec<Literal>) -> Rule

Trait Implementations

impl Into<Clause> for Rule

fn into(self) -> Clause

impl Display for Rule

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

Derived Implementations

impl PartialOrd for Rule

fn partial_cmp(&self, __arg_0: &Rule) -> Option<Ordering>

fn lt(&self, __arg_0: &Rule) -> bool

fn le(&self, __arg_0: &Rule) -> bool

fn gt(&self, __arg_0: &Rule) -> bool

fn ge(&self, __arg_0: &Rule) -> bool

impl Ord for Rule

fn cmp(&self, __arg_0: &Rule) -> Ordering

impl Encodable for Rule

fn encode<__S: Encoder>(&self, __arg_0: &mut __S) -> Result<(), __S>

impl Decodable for Rule

fn decode<__D: Decoder>(__arg_0: &mut __D) -> Result<Rule, __D>

impl PartialEq for Rule

fn eq(&self, __arg_0: &Rule) -> bool

fn ne(&self, __arg_0: &Rule) -> bool

impl Eq for Rule

impl Hash for Rule

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher

impl Clone for Rule

fn clone(&self) -> Rule

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

impl Debug for Rule

fn fmt(&self, __arg_0: &mut Formatter) -> Result