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

Trait Implementations

impl Debug for clingo_ast_theory_atom_element
[src]

Formats the value using the given formatter.

impl Copy for clingo_ast_theory_atom_element
[src]

impl Clone for clingo_ast_theory_atom_element
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more