Struct clingo::ClingoPropagateControl

pub struct ClingoPropagateControl(_);

Methods

impl ClingoPropagateControl

fn thread_id(&mut self) -> clingo_id_t

fn add_clause(
    &mut self,
    clause: &[clingo_literal_t],
    type_: clingo_clause_type_t
) -> Option<bool>

fn propagate(&mut self) -> Option<bool>