Type Alias clingo_sys::clingo_weighted_literal_t

pub type clingo_weighted_literal_t = clingo_weighted_literal;

! A Literal with an associated weight.

Aliased Type

struct clingo_weighted_literal_t {
    pub literal: i32,
    pub weight: i32,
}

Fields

literal: i32

weight: i32