Struct clingo::ClingoModel
[−]
[src]
pub struct ClingoModel(_);
Methods
impl ClingoModel
[src]
fn model_type(&mut self) -> Option<clingo_model_type_t>
fn number(&mut self) -> Option<u64>
fn symbols(
&mut self,
show: clingo_show_type_bitset_t
) -> Option<Vec<clingo_symbol_t>>
&mut self,
show: clingo_show_type_bitset_t
) -> Option<Vec<clingo_symbol_t>>