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 ToString for Rule

fn to_string(&self) -> String

Derived Implementations

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

fn assert_receiver_is_total_eq(&self)

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