Struct clingo::Part

pub struct Part<'a> { /* fields omitted */ }

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

Methods

impl<'a> Part<'a>

pub fn new(name: &str, params: &'a [Symbol]) -> Result<Part<'a>, Error>

Create a new program part object.

Arguments

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

Errors

• NulError - if name contains a nul byte
• ErrorType::BadAlloc
• ErrorType::Runtime if argument parsing fails
• WrapperError

Trait Implementations