Struct clingo::SymbolicAtom
[−]
[src]
pub struct SymbolicAtom<'a> { /* fields omitted */ }
A symbolic atom in a program.
Methods
impl<'a> SymbolicAtom<'a>
[src]
pub fn is_fact(&self) -> Option<bool>
[src]
Check whether an atom is a fact.
Note: This does not determine if an atom is a cautious consequence. The grounding or solving component's simplifications can only detect this in some cases.
pub fn is_external(&self) -> Option<bool>
[src]
Check whether an atom is external.
An atom is external if it has been defined using an external directive and has not been released or defined by a rule.
pub fn symbol(&self) -> Option<Symbol>
[src]
Get the symbolic representation of an atom.
pub fn literal(&self) -> Option<Literal>
[src]
Returns the (numeric) aspif literal corresponding to the given symbolic atom.
Such a literal can be mapped to a solver literal (see Propagator
).
or be used in rules in aspif format (see ProgramBuilder
).