pub struct SolveControl(/* private fields */);
Expand description
Object to add clauses during search.
Implementations§
Source§impl SolveControl
impl SolveControl
Sourcepub fn add_clause(
&mut self,
clause: &[SolverLiteral],
) -> Result<(), ClingoError>
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
withErrorCode::BadAlloc
orErrorCode::Runtime
if adding the clause fails
Sourcepub fn symbolic_atoms(&self) -> Result<&SymbolicAtoms, ClingoError>
pub fn symbolic_atoms(&self) -> Result<&SymbolicAtoms, ClingoError>
Get an object to inspect the symbolic atoms.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for SolveControl
impl RefUnwindSafe for SolveControl
impl Send for SolveControl
impl Sync for SolveControl
impl Unpin for SolveControl
impl UnwindSafe for SolveControl
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more