Struct clingo_sys::clingo_ast_theory_definition

#[repr(C)]
pub struct clingo_ast_theory_definition {
    pub name: *const c_char,
    pub terms: *const clingo_ast_theory_term_definition_t,
    pub terms_size: usize,
    pub atoms: *const clingo_ast_theory_atom_definition_t,
    pub atoms_size: usize,
}

Fields

name: *const c_char

terms: *const clingo_ast_theory_term_definition_t

terms_size: usize

atoms: *const clingo_ast_theory_atom_definition_t

atoms_size: usize

Trait Implementations

impl Debug for clingo_ast_theory_definition

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

Formats the value using the given formatter.

impl Copy for clingo_ast_theory_definition

impl Clone for clingo_ast_theory_definition

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.