Type Alias clingo_sys::clingo_part_t
source · pub type clingo_part_t = clingo_part;
Expand description
! 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