[−][src]Type Definition clingo_sys::clingo_propagate_control_t
type clingo_propagate_control_t = clingo_propagate_control;
! This object can be used to add clauses and propagate literals while solving.
type clingo_propagate_control_t = clingo_propagate_control;
! This object can be used to add clauses and propagate literals while solving.