Type Alias clingo_sys::clingo_propagate_control_t
source · pub type clingo_propagate_control_t = clingo_propagate_control;
Expand description
! This object can be used to add clauses and propagate literals while solving.
Aliased Type§
struct clingo_propagate_control_t { /* private fields */ }