Struct clingo::WeightedLiteral

pub struct WeightedLiteral(_);

A Literal with an associated weight.

Methods

impl WeightedLiteral

pub fn literal(&self) -> Literal

pub fn weight(&self) -> i32

Trait Implementations

impl Debug for WeightedLiteral

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

Formats the value using the given formatter.

impl Copy for WeightedLiteral

impl Clone for WeightedLiteral

fn clone(&self) -> WeightedLiteral

Returns a copy of the value.

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

Performs copy-assignment from source.