Struct clingo::SolveControl

pub struct SolveControl(_);

Object to add clauses during search.

Methods

impl SolveControl

pub fn add_clause(&mut self, clause: &[Literal]) -> Result<(), ClingoError>

Add a clause that applies to the current solving step during model enumeration.

Note: The Propagator trait provides a more sophisticated interface to add clauses - even on partial assignments.

Arguments

• clause - array of literals representing the clause

Errors

• ErrorType::BadAlloc
• ErrorType::Runtime if adding the clause fails

pub fn symbolic_atoms(&mut self) -> Option<&SymbolicAtoms>

Get an object to inspect the symbolic atoms.

Trait Implementations

impl Debug for SolveControl

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for SolveControl

impl Clone for SolveControl

fn clone(&self) -> SolveControl

Returns a copy of the value.

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

Performs copy-assignment from source.