Enum Rule 

pub enum Rule {
    EOI,
    WHITESPACE,
    COMMENT,
    ident,
    ident_continue,
    anonymous,
    variable,
    var_or_anon,
    module_path,
    import_list,
    use_stmt,
    integer,
    float_num,
    string_lit,
    bool_lit,
    prob_num,
    list_literal,
    cons_pattern,
    compound_term,
    term,
    atom,
    term_list,
    agg_op,
    aggregate,
    agg_term,
    cmp_op,
    comparison,
    arith_op_mul,
    arith_op_add,
    builtin_fn,
    func_call,
    arith_primary,
    arith_term,
    arith_expr,
    is_expr,
    epistemic_op,
    not_kw,
    nested_modal_chain,
    epistemic_atom,
    negated_epistemic_atom,
    negated_atom,
    univ,
    body_literal,
    body,
    head_term,
    head_term_list,
    head,
    rule_def,
    fact,
    constraint,
    prob_choice,
    prob_fact,
    annotated_disjunction,
    neural_label,
    neural_label_list,
    neural_input_list,
    neural_pred_decl,
    query,
    prob_query,
    evidence_stmt,
    prob_engine_value,
    prob_cache_value,
    epistemic_mode_value,
    magic_sets_value,
    prob_method_value,
    pragma_prob_engine,
    pragma_prob_cache,
    pragma_epistemic_mode,
    pragma_prob_samples,
    pragma_prob_seed,
    pragma_prob_confidence,
    pragma_prob_method,
    pragma_prob_max_nonmonotone_iterations,
    pragma_max_recursion,
    pragma_magic_sets,
    pragma,
    domain_decl,
    scalar_type,
    list_type,
    type_spec,
    type_annotation,
    return_type,
    func_param,
    func_params,
    cond_test,
    cond_expr,
    func_body_arith,
    func_body_pred,
    func_body,
    func_def,
    private_mod,
    pred_decl,
    pred_column,
    type_list,
    mask_name,
    learnable_rule,
    statement,
    program,
}

Variants

EOI

End-of-input

WHITESPACE

COMMENT

ident

ident_continue

anonymous

variable

var_or_anon

module_path

import_list

use_stmt

integer

float_num

string_lit

bool_lit

prob_num

list_literal

cons_pattern

compound_term

term

atom

term_list

agg_op

aggregate

agg_term

cmp_op

comparison

arith_op_mul

arith_op_add

builtin_fn

func_call

arith_primary

arith_term

arith_expr

is_expr

epistemic_op

not_kw

nested_modal_chain

epistemic_atom

negated_epistemic_atom

negated_atom

univ

body_literal

body

head_term

head_term_list

head

rule_def

fact

constraint

prob_choice

prob_fact

annotated_disjunction

neural_label

neural_label_list

neural_input_list

neural_pred_decl

query

prob_query

evidence_stmt

prob_engine_value

prob_cache_value

epistemic_mode_value

magic_sets_value

prob_method_value

pragma_prob_engine

pragma_prob_cache

pragma_epistemic_mode

pragma_prob_samples

pragma_prob_seed

pragma_prob_confidence

pragma_prob_method

pragma_prob_max_nonmonotone_iterations

pragma_max_recursion

pragma_magic_sets

pragma

domain_decl

scalar_type

list_type

type_spec

type_annotation

return_type

func_param

func_params

cond_test

cond_expr

func_body_arith

func_body_pred

func_body

func_def

private_mod

pred_decl

pred_column

type_list

mask_name

learnable_rule

statement

program

Implementations

impl Rule

pub fn all_rules() -> &'static [Rule]

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl Hash for Rule

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Rule

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

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl Parser<Rule> for XlogParser

fn parse<'i>(rule: Rule, input: &'i str) -> Result<Pairs<'i, Rule>, Error<Rule>>

Parses a &str starting from rule.

impl PartialEq for Rule

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

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

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Rule

impl Eq for Rule

impl StructuralPartialEq for Rule