Type Alias clingo_sys::clingo_propagate_control_t

pub type clingo_propagate_control_t = clingo_propagate_control;

! This object can be used to add clauses and propagate literals while solving.

Aliased Type

struct clingo_propagate_control_t { /* private fields */ }