Struct clingo_sys::clingo_ast_body_aggregate_element

#[repr(C)]
pub struct clingo_ast_body_aggregate_element {
    pub tuple: *const clingo_ast_term_t,
    pub tuple_size: usize,
    pub condition: *const clingo_ast_literal_t,
    pub condition_size: usize,
}

Fields

tuple: *const clingo_ast_term_t

tuple_size: usize

condition: *const clingo_ast_literal_t

condition_size: usize

Trait Implementations

impl Clone for clingo_ast_body_aggregate_element

fn clone(&self) -> clingo_ast_body_aggregate_element

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for clingo_ast_body_aggregate_element

impl Debug for clingo_ast_body_aggregate_element

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

Formats the value using the given formatter.