Struct clingo_sys::clingo_symbolic_literal
[−]
[src]
#[repr(C)]pub struct clingo_symbolic_literal { pub symbol: clingo_symbol_t, pub positive: bool, }
Represents a symbolic literal.
Fields
symbol: clingo_symbol_t
< the associated symbol (must be a function)
positive: bool
< whether the literal has a sign
Trait Implementations
impl Debug for clingo_symbolic_literal
[src]
impl Copy for clingo_symbolic_literal
[src]
impl Clone for clingo_symbolic_literal
[src]
fn clone(&self) -> Self
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more