Function clingo_sys::clingo_backend_heuristic
[−]
[src]
pub unsafe extern "C" fn clingo_backend_heuristic(
backend: *mut clingo_backend_t,
atom: clingo_atom_t,
type_: clingo_heuristic_type_t,
bias: c_int,
priority: c_uint,
condition: *const clingo_literal_t,
size: usize
) -> bool
Add an heuristic directive.
Parameters:
backend
the target backendatom
the target atomtype
the type of the heuristic modificationbias
the heuristic biaspriority
the heuristic prioritycondition
the condition under which to apply the heuristic modificationsize
the number of atoms in the condition
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc