Union clingo_sys::clingo_ast_head_literal__bindgen_ty_1

#[repr(C)]
pub union clingo_ast_head_literal__bindgen_ty_1 {
    pub literal: *const clingo_ast_literal_t,
    pub disjunction: *const clingo_ast_disjunction_t,
    pub aggregate: *const clingo_ast_aggregate_t,
    pub head_aggregate: *const clingo_ast_head_aggregate_t,
    pub theory_atom: *const clingo_ast_theory_atom_t,
    // some fields omitted
}

Fields

literal: *const clingo_ast_literal_t

disjunction: *const clingo_ast_disjunction_t

aggregate: *const clingo_ast_aggregate_t

head_aggregate: *const clingo_ast_head_aggregate_t

theory_atom: *const clingo_ast_theory_atom_t

Trait Implementations

impl Copy for clingo_ast_head_literal__bindgen_ty_1

impl Clone for clingo_ast_head_literal__bindgen_ty_1

fn clone(&self) -> clingo_ast_head_literal__bindgen_ty_1

Returns a copy of the value.

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

Performs copy-assignment from source.