Type Alias clingo_sys::clingo_part_t

pub type clingo_part_t = clingo_part;

! 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()

Aliased Type

struct clingo_part_t {
    pub name: *const i8,
    pub params: *const u64,
    pub size: usize,
}

Fields

name: *const i8

!< name of the program part

params: *const u64

!< array of parameters

size: usize

!< number of parameters