Struct clingo_sys::clingo_ast_head_literal__bindgen_ty_1

#[repr(C)]
pub struct clingo_ast_head_literal__bindgen_ty_1 {
    pub literal: __BindgenUnionField<*const clingo_ast_literal_t>,
    pub disjunction: __BindgenUnionField<*const clingo_ast_disjunction_t>,
    pub aggregate: __BindgenUnionField<*const clingo_ast_aggregate_t>,
    pub head_aggregate: __BindgenUnionField<*const clingo_ast_head_aggregate_t>,
    pub theory_atom: __BindgenUnionField<*const clingo_ast_theory_atom_t>,
    pub bindgen_union_field: u64,
}

Fields

literal: __BindgenUnionField<*const clingo_ast_literal_t>

disjunction: __BindgenUnionField<*const clingo_ast_disjunction_t>

aggregate: __BindgenUnionField<*const clingo_ast_aggregate_t>

head_aggregate: __BindgenUnionField<*const clingo_ast_head_aggregate_t>

theory_atom: __BindgenUnionField<*const clingo_ast_theory_atom_t>

bindgen_union_field: u64

Trait Implementations

impl Debug for clingo_ast_head_literal__bindgen_ty_1

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

Formats the value using the given formatter.

impl Copy for clingo_ast_head_literal__bindgen_ty_1

impl Clone for clingo_ast_head_literal__bindgen_ty_1

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.