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.