Struct Solution

pub struct Solution { /* private fields */ }

A solution which takes ownership of its inner structures.

Implementations

impl Solution

pub fn new( assignments_propositional: AssignmentsPropositional, assignments_integer: AssignmentsInteger, ) -> Self

pub fn as_reference(&self) -> SolutionReference<'_>

Trait Implementations

impl Clone for Solution

fn clone(&self) -> Solution

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Solution

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

Formats the value using the given formatter.

impl Default for Solution

fn default() -> Solution

Returns the “default value” for a type.

impl From<SolutionReference<'_>> for Solution

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

Converts to this type from the input type.

impl ProblemSolution for Solution

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.