Struct clingo_sys::clingo_ast_theory_atom

#[repr(C)]
pub struct clingo_ast_theory_atom {
    pub term: clingo_ast_term_t,
    pub elements: *const clingo_ast_theory_atom_element_t,
    pub size: usize,
    pub guard: *const clingo_ast_theory_guard_t,
}

Fields

term: clingo_ast_term_t

elements: *const clingo_ast_theory_atom_element_t

size: usize

guard: *const clingo_ast_theory_guard_t

Trait Implementations

impl Copy for clingo_ast_theory_atom

impl Clone for clingo_ast_theory_atom

fn clone(&self) -> clingo_ast_theory_atom

Returns a copy of the value.

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

Performs copy-assignment from source.