Struct Solution 

pub struct Solution { /* private fields */ }

A solution which takes ownership of its inner structures.

Implementations

impl Solution

pub fn new(assignments: Assignments) -> Solution

pub fn get_domains(&self) -> DomainGeneratorIterator

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

pub fn contains_domain_id(&self, domain_id: DomainId) -> bool

pub fn is_predicate_satisfied(&self, predicate: Predicate) -> bool

Trait Implementations

impl Clone for Solution

fn clone(&self) -> Solution

Returns a duplicate 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<(), Error>

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<'_>) -> Solution

Converts to this type from the input type.

impl ProblemSolution for Solution

fn num_domains(&self) -> usize

Returns the number of defined DomainIds.

fn get_integer_value<Var>(&self, var: Var) -> i32

where Var: IntegerVariable,

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