Struct clingo::SymbolicAtoms

pub struct SymbolicAtoms(_);

Container that stores symbolic atoms in a program -- the relevant Herbrand base gringo uses to instantiate programs.

See: Control::symbolic_atoms()

Methods

impl SymbolicAtoms

pub fn size(&self) -> Option<usize>

Get the number of different atoms occurring in a logic program.

Important traits for SymbolicAtomsIterator<'a>

impl<'a> Iterator for SymbolicAtomsIterator<'a> type Item = SymbolicAtom<'a>;

pub fn iter(&self) -> SymbolicAtomsIterator

Get a forward iterator of the sequence of all symbolic atoms.

Important traits for SymbolicAtomsIterator<'a>

impl<'a> Iterator for SymbolicAtomsIterator<'a> type Item = SymbolicAtom<'a>;

pub fn iter_with_signature(&self, sig: &Signature) -> SymbolicAtomsIterator

Get a forward iterator of the sequence of all symbolic atoms restricted to a given signature.

Arguments

• signature - the signature

pub fn signatures(&self) -> Result<Vec<Signature>, ClingoError>

Get the predicate signatures occurring in a logic program.

Errors

• ErrorType::BadAlloc
• ErrorType::Runtime if the size is too small

Trait Implementations

impl Debug for SymbolicAtoms

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for SymbolicAtoms

impl Clone for SymbolicAtoms

fn clone(&self) -> SymbolicAtoms

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.