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

< the associated symbol (must be a function)

< whether the literal has a sign

Trait Implementations

impl Debug for clingo_symbolic_literal
[src]

Formats the value using the given formatter.

impl Copy for clingo_symbolic_literal
[src]

impl Clone for clingo_symbolic_literal
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more