Struct SolutionReference

pub struct SolutionReference<'a> { /* private fields */ }

A solution which keeps reference to its inner structures.

Implementations

impl<'a> SolutionReference<'a>

pub fn new( assignments_propositional: &'a AssignmentsPropositional, assignments_integer: &'a AssignmentsInteger, ) -> SolutionReference<'a>

pub fn get_propostional_variables( &self, ) -> impl Iterator<Item = PropositionalVariable>

Trait Implementations

impl<'a> Clone for SolutionReference<'a>

fn clone(&self) -> SolutionReference<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for SolutionReference<'a>

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

Formats the value using the given formatter.

impl From<SolutionReference<'_>> for Solution

fn from(value: SolutionReference<'_>) -> Self

Converts to this type from the input type.

impl ProblemSolution for SolutionReference<'_>

fn num_propositional_variables(&self) -> usize

Returns the number of defined PropositionalVariables

fn num_domains(&self) -> usize

Returns the number of domains.

fn get_propositional_variable_value( &self, propositional_variable: PropositionalVariable, ) -> bool

Returns the assigned boolean value of the provided PropositionalVariable.

fn get_literal_value(&self, literal: Literal) -> bool

Returns the assigned boolean value of the provided Literal.

fn get_integer_value(&self, variable: impl IntegerVariable) -> i32

Returns the assigned integer value of the provided variable.

impl<'a> Copy for SolutionReference<'a>