Struct clingo::ClingoBackend
[−]
[src]
pub struct ClingoBackend(_);
Methods
impl ClingoBackend
[src]
fn rule(
&mut self,
choice: bool,
head_vector: &Vec<clingo_atom_t>,
body_vector: &Vec<clingo_literal_t>
) -> bool
&mut self,
choice: bool,
head_vector: &Vec<clingo_atom_t>,
body_vector: &Vec<clingo_literal_t>
) -> bool