Enum clingo_sys::clingo_ast_statement_type

#[repr(u32)]
pub enum clingo_ast_statement_type {
    clingo_ast_statement_type_rule,
    clingo_ast_statement_type_const,
    clingo_ast_statement_type_show_signature,
    clingo_ast_statement_type_show_term,
    clingo_ast_statement_type_minimize,
    clingo_ast_statement_type_script,
    clingo_ast_statement_type_program,
    clingo_ast_statement_type_external,
    clingo_ast_statement_type_edge,
    clingo_ast_statement_type_heuristic,
    clingo_ast_statement_type_project_atom,
    clingo_ast_statement_type_project_atom_signature,
    clingo_ast_statement_type_theory_definition,
}

Variants

clingo_ast_statement_type_ruleclingo_ast_statement_type_constclingo_ast_statement_type_show_signatureclingo_ast_statement_type_show_termclingo_ast_statement_type_minimizeclingo_ast_statement_type_scriptclingo_ast_statement_type_programclingo_ast_statement_type_externalclingo_ast_statement_type_edgeclingo_ast_statement_type_heuristicclingo_ast_statement_type_project_atomclingo_ast_statement_type_project_atom_signatureclingo_ast_statement_type_theory_definition

Trait Implementations

impl Debug for clingo_ast_statement_type

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

Formats the value using the given formatter.

impl Copy for clingo_ast_statement_type

impl Clone for clingo_ast_statement_type

fn clone(&self) -> clingo_ast_statement_type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for clingo_ast_statement_type

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for clingo_ast_statement_type

impl Hash for clingo_ast_statement_type

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].