Struct clingo_sys::clingo_part
[−]
[src]
#[repr(C)]pub struct clingo_part { pub name: *const c_char, pub params: *const clingo_symbol_t, pub size: usize, }
Struct used to specify the program parts that have to be grounded.
Programs may be structured into parts, which can be grounded independently with ::clingo_control_ground. Program parts are mainly interesting for incremental grounding and multi-shot solving. For single-shot solving, program parts are not needed.
Note: Parts of a logic program without an explicit #program
specification are by default put into a program called base
without
arguments.
@see clingo_control_ground()
Fields
name: *const c_char
< name of the program part
params: *const clingo_symbol_t
< array of parameters
size: usize
< number of parameters
Trait Implementations
impl Debug for clingo_part
[src]
impl Copy for clingo_part
[src]
impl Clone for clingo_part
[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