Struct clingo::ClingoSolveControl
[−]
[src]
pub struct ClingoSolveControl(_);
pub struct ClingoSolveControl(_);
impl ClingoSolveControl
[src]fn add_clause(&mut self, clause: *const clingo_literal_t) -> bool