Union clingo_sys::clingo_ast_theory_term__bindgen_ty_1

#[repr(C)]
pub union clingo_ast_theory_term__bindgen_ty_1 {
    pub symbol: clingo_symbol_t,
    pub variable: *const c_char,
    pub tuple: *const clingo_ast_theory_term_array_t,
    pub list: *const clingo_ast_theory_term_array_t,
    pub set: *const clingo_ast_theory_term_array_t,
    pub function: *const clingo_ast_theory_function_t,
    pub unparsed_term: *const clingo_ast_theory_unparsed_term_t,
    // some fields omitted
}

Fields

symbol: clingo_symbol_t

variable: *const c_char

tuple: *const clingo_ast_theory_term_array_t

list: *const clingo_ast_theory_term_array_t

set: *const clingo_ast_theory_term_array_t

function: *const clingo_ast_theory_function_t

unparsed_term: *const clingo_ast_theory_unparsed_term_t

Trait Implementations

impl Clone for clingo_ast_theory_term__bindgen_ty_1

fn clone(&self) -> clingo_ast_theory_term__bindgen_ty_1

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for clingo_ast_theory_term__bindgen_ty_1