Struct clingo::ClingoSymbolicAtoms
[−]
[src]
pub struct ClingoSymbolicAtoms(_);
Methods
impl ClingoSymbolicAtoms[src]
fn begin(
&mut self,
signature: *const clingo_signature_t
) -> Option<clingo_symbolic_atom_iterator_t>
&mut self,
signature: *const clingo_signature_t
) -> Option<clingo_symbolic_atom_iterator_t>
fn end(&mut self) -> Option<clingo_symbolic_atom_iterator_t>
fn find(
&mut self,
symbol: clingo_symbol_t
) -> Option<clingo_symbolic_atom_iterator_t>
&mut self,
symbol: clingo_symbol_t
) -> Option<clingo_symbolic_atom_iterator_t>
fn iterator_is_equal_to(
&mut self,
a: clingo_symbolic_atom_iterator_t,
b: clingo_symbolic_atom_iterator_t
) -> Option<bool>
&mut self,
a: clingo_symbolic_atom_iterator_t,
b: clingo_symbolic_atom_iterator_t
) -> Option<bool>
fn symbol(
&mut self,
iterator: clingo_symbolic_atom_iterator_t
) -> Option<clingo_symbol_t>
&mut self,
iterator: clingo_symbolic_atom_iterator_t
) -> Option<clingo_symbol_t>
fn is_fact(&mut self, iterator: clingo_symbolic_atom_iterator_t) -> Option<bool>
fn is_external(
&mut self,
iterator: clingo_symbolic_atom_iterator_t
) -> Option<bool>
&mut self,
iterator: clingo_symbolic_atom_iterator_t
) -> Option<bool>
fn literal(
&mut self,
iterator: clingo_symbolic_atom_iterator_t
) -> Option<clingo_literal_t>
&mut self,
iterator: clingo_symbolic_atom_iterator_t
) -> Option<clingo_literal_t>
fn next(
&mut self,
iterator: clingo_symbolic_atom_iterator_t
) -> Option<clingo_symbolic_atom_iterator_t>
&mut self,
iterator: clingo_symbolic_atom_iterator_t
) -> Option<clingo_symbolic_atom_iterator_t>