Struct SolveControl

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

Object to add clauses during search.

Implementations

impl SolveControl

pub fn add_clause( &mut self, clause: &[SolverLiteral], ) -> 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

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if adding the clause fails

pub fn symbolic_atoms(&self) -> Result<&SymbolicAtoms, ClingoError>

Get an object to inspect the symbolic atoms.

Trait Implementations

impl Debug for SolveControl

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

Formats the value using the given formatter.