Struct Model

pub struct Model(/* private fields */);

Represents a model.

Implementations

impl Model

pub fn model_type(&self) -> Result<ModelType, ClingoError>

Get the type of the model.

pub fn number(&self) -> Result<u64, ClingoError>

Get the running number of the model.

pub fn symbols(&self, show: ShowType) -> Result<Vec<Symbol>, ClingoError>

Get the symbols of the selected types in the model.

Note: CSP assignments are represented using functions with name “$” where the first argument is the name of the CSP variable and the second one its value.

Arguments

• show - which symbols to select

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if the size is too small

pub fn contains(&self, Symbol: Symbol) -> Result<bool, ClingoError>

Constant time lookup to test whether an atom is in a model.

Arguments

• atom - the atom to lookup

pub fn is_true(&self, literal: SolverLiteral) -> Result<bool, ClingoError>

Check whether a program literal is true in a model.

Arguments

• literal - the literal to lookup

pub fn cost(&self) -> Result<Vec<i64>, ClingoError>

Get the cost vector of a model.

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if the size is too small

See: Model::optimality_proven()

pub fn optimality_proven(&self) -> Result<bool, ClingoError>

Whether the optimality of a model has been proven.

See: Model::cost()

pub fn thread_id(&self) -> Result<Id, ClingoError>

Get the id of the solver thread that found the model.

pub fn extend(&mut self, symbols: &[Symbol]) -> bool

Add symbols to the model.

These symbols will appear in clingo's output, which means that this function is only meaningful if there is an underlying clingo application. Only models passed to the ::clingo_solve_event_callback_t are extendable.

Arguments

• symbols - the symbols to add

Returns whether the call was successful

pub fn context(&self) -> Result<&mut SolveControl, ClingoError>

Get the associated solve control object of a model.

This object allows for adding clauses during model enumeration.

Trait Implementations

impl Debug for Model

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

Formats the value using the given formatter.

impl From<&mut Model> for *mut clingo_model

fn from(model: &mut Model) -> Self

Converts to this type from the input type.

impl From<Model> for clingo_model

fn from(model: Model) -> Self

Converts to this type from the input type.