Struct clingo_sys::clingo_ast_theory_atom_definition
[−]
[src]
#[repr(C)]pub struct clingo_ast_theory_atom_definition { pub location: clingo_location_t, pub type_: clingo_ast_theory_atom_definition_type_t, pub name: *const c_char, pub arity: c_uint, pub elements: *const c_char, pub guard: *const clingo_ast_theory_guard_definition_t, }
Fields
location: clingo_location_t
type_: clingo_ast_theory_atom_definition_type_t
name: *const c_char
arity: c_uint
elements: *const c_char
guard: *const clingo_ast_theory_guard_definition_t
Trait Implementations
impl Debug for clingo_ast_theory_atom_definition
[src]
impl Copy for clingo_ast_theory_atom_definition
[src]
impl Clone for clingo_ast_theory_atom_definition
[src]
fn clone(&self) -> Self
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more