Struct clingo::ClingoTheoryAtoms
[−]
[src]
pub struct ClingoTheoryAtoms(_);
pub struct ClingoTheoryAtoms(_);
impl ClingoTheoryAtoms[src]fn term_name<'a>(&mut self, term: clingo_id_t) -> Option<&'a str>fn size(&mut self) -> Option<usize>fn atom_term(&mut self, atom: clingo_id_t) -> Option<clingo_id_t>fn atom_has_guard(&mut self, atom: clingo_id_t) -> Option<bool>fn atom_literal(&mut self, atom: clingo_id_t) -> Option<clingo_literal_t>