Struct clingo::Model

pub struct Model(_);

Represents a model.

Methods

impl Model

pub fn model_type(&self) -> Option<ModelType>

Get the type of the model.

pub fn number(&self) -> Option<u64>

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

• ErrorType::BadAlloc
• ErrorType::Runtime if the size is too small

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

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

Arguments

• atom - the atom to lookup

pub fn is_true(&self, literal: Literal) -> Option<bool>

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

• ErrorType::BadAlloc
• ErrorType::Runtime if the size is too small

See: Model::optimality_proven()

pub fn optimality_proven(&self) -> Option<bool>

Whether the optimality of a model has been proven.

See: Model::cost()

pub fn thread_id(&self) -> Option<Id>

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

pub fn context(&mut self) -> Option<&mut SolveControl>

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, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for Model

impl Clone for Model

fn clone(&self) -> Model

Returns a copy of the value.

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

Performs copy-assignment from source.