Struct clingo::Part

pub struct Part { /* private fields */ }

Struct used to specify the program parts that have to be grounded.

Programs may be structured into parts, which can be grounded independently with 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: Control::ground()

Implementations

impl Part

pub fn new(name: &str, params: Vec<Symbol>) -> Result<Part, ClingoError>

Create a new program part object.

Arguments

• name - the identifier of the program
• params - the parameter of the program

Errors

• ClingoError::NulError - if name contains a nul byte
• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if argument parsing fails

Trait Implementations

impl Clone for Part

fn clone(&self) -> Part

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Part

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

Formats the value using the given formatter.