Struct clingo_sys::clingo_ast_body_aggregate

#[repr(C)]
pub struct clingo_ast_body_aggregate {
    pub function: clingo_ast_aggregate_function_t,
    pub elements: *const clingo_ast_body_aggregate_element_t,
    pub size: usize,
    pub left_guard: *const clingo_ast_aggregate_guard_t,
    pub right_guard: *const clingo_ast_aggregate_guard_t,
}

Fields

function: clingo_ast_aggregate_function_t

elements: *const clingo_ast_body_aggregate_element_t

size: usize

left_guard: *const clingo_ast_aggregate_guard_t

right_guard: *const clingo_ast_aggregate_guard_t

Trait Implementations

impl Debug for clingo_ast_body_aggregate

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

Formats the value using the given formatter.

impl Copy for clingo_ast_body_aggregate

impl Clone for clingo_ast_body_aggregate

fn clone(&self) -> clingo_ast_body_aggregate

Returns a copy of the value.

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

Performs copy-assignment from source.