Struct clingo_sys::clingo_ast_theory_atom_element
[−]
[src]
#[repr(C)]pub struct clingo_ast_theory_atom_element { pub tuple: *const clingo_ast_theory_term_t, pub tuple_size: usize, pub condition: *const clingo_ast_literal_t, pub condition_size: usize, }
Fields
tuple: *const clingo_ast_theory_term_t
tuple_size: usize
condition: *const clingo_ast_literal_t
condition_size: usize
Trait Implementations
impl Debug for clingo_ast_theory_atom_element
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl Copy for clingo_ast_theory_atom_element
[src]
impl Clone for clingo_ast_theory_atom_element
[src]
fn clone(&self) -> clingo_ast_theory_atom_element
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more