Struct clingo_sys::clingo_part

#[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 Clone for clingo_part

fn clone(&self) -> clingo_part

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for clingo_part

impl Debug for clingo_part

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

Formats the value using the given formatter.