Struct clingo_sys::clingo_weighted_literal

#[repr(C)]
pub struct clingo_weighted_literal {
    pub literal: clingo_literal_t,
    pub weight: clingo_weight_t,
}

A Literal with an associated weight. @ingroup ProgramInspection

Fields

literal: clingo_literal_t

weight: clingo_weight_t

Trait Implementations

impl Debug for clingo_weighted_literal

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

Formats the value using the given formatter.

impl Copy for clingo_weighted_literal

impl Clone for clingo_weighted_literal

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.