Function clingo_sys::clingo_propagate_control_add_literal
[−]
[src]
pub unsafe extern "C" fn clingo_propagate_control_add_literal(
control: *mut clingo_propagate_control_t,
result: *mut clingo_literal_t
) -> bool
Adds a new volatile literal to the underlying solver thread.
@attention The literal is only valid within the current solving step and solver thread. All volatile literals and clauses involving a volatile literal are deleted after the current search.
Parameters:
control
the targetresult
the (positive) solver literal
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc - ::clingo_error_logic if the assignment is conflicting