Struct clingo_sys::clingo_part
source · #[repr(C)]pub struct clingo_part {
pub name: *const c_char,
pub params: *const clingo_symbol_t,
pub size: usize,
}
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()
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§
source§impl Clone for clingo_part
impl Clone for clingo_part
source§fn clone(&self) -> clingo_part
fn clone(&self) -> clingo_part
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for clingo_part
impl Debug for clingo_part
impl Copy for clingo_part
Auto Trait Implementations§
impl RefUnwindSafe for clingo_part
impl !Send for clingo_part
impl !Sync for clingo_part
impl Unpin for clingo_part
impl UnwindSafe for clingo_part
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more