Union clingo_sys::clingo_ast_body_literal__bindgen_ty_1

#[repr(C)]
pub union clingo_ast_body_literal__bindgen_ty_1 {
    pub literal: *const clingo_ast_literal_t,
    pub conditional: *const clingo_ast_conditional_literal_t,
    pub aggregate: *const clingo_ast_aggregate_t,
    pub body_aggregate: *const clingo_ast_body_aggregate_t,
    pub theory_atom: *const clingo_ast_theory_atom_t,
    pub disjoint: *const clingo_ast_disjoint_t,
    // some fields omitted
}

Fields

literal: *const clingo_ast_literal_t

conditional: *const clingo_ast_conditional_literal_t

aggregate: *const clingo_ast_aggregate_t

body_aggregate: *const clingo_ast_body_aggregate_t

theory_atom: *const clingo_ast_theory_atom_t

disjoint: *const clingo_ast_disjoint_t

Trait Implementations

impl Copy for clingo_ast_body_literal__bindgen_ty_1

impl Clone for clingo_ast_body_literal__bindgen_ty_1

fn clone(&self) -> clingo_ast_body_literal__bindgen_ty_1

Returns a copy of the value.

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

Performs copy-assignment from source.