Struct Function

pub struct Function { /* private fields */ }

A struct which represents a weighted linear function over Literals, DomainIds, and a constant term.

Implementations

impl Function

pub fn add_weighted_literal(&mut self, literal: Literal, weight: u64)

pub fn add_weighted_integer(&mut self, domain_id: DomainId, weight: u64)

pub fn add_constant_term(&mut self, value: u64)

pub fn get_weighted_literals(&self) -> Iter<'_, Literal, u64>

pub fn get_weighted_integers(&self) -> Iter<'_, DomainId, u64>

pub fn get_constant_term(&self) -> u64

pub fn is_empty(&self) -> bool

pub fn evaluate_solution(&self, solution: SolutionReference<'_>) -> u64

pub fn evaluate_assignment(&self, solution: &Solution) -> u64

pub fn get_function_as_weighted_literals_vector( &self, solver: &Solver, ) -> Vec<WeightedLiteral>

Trait Implementations

impl Clone for Function

fn clone(&self) -> Function

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Function

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Function

fn default() -> Function

Returns the “default value” for a type.