Struct Condition 

pub struct Condition(/* private fields */);

A set of states, written as a conjunction of constraints. Variables it doesn’t mention are unconstrained.

Invariant: a stored constraint is never a variable’s full domain, so “mentioned” always means “narrowed”. Condition::constrain keeps that true; the other operations preserve it.

Implementations

impl Condition

pub fn new() -> Self

pub fn is_unconstrained(&self) -> bool

No constraints at all: every state.

pub fn get(&self, v: VarId) -> Option<&Constraint>

pub fn iter(&self) -> impl Iterator<Item = (VarId, &Constraint)> + '_

pub fn vars(&self) -> impl Iterator<Item = VarId> + '_

pub fn constrain(&mut self, var: &Variable, c: Constraint)

Narrow var to c (on top of anything already required of it).

pub fn set(&mut self, var: &Variable, c: Constraint)

Replace whatever is required of var with c.

pub fn and(&self, o: &Condition) -> Condition

States in both.

pub fn is_satisfiable(&self) -> bool

Does any state satisfy it?

pub fn overlaps(&self, o: &Condition) -> bool

Is there a state in both?

pub fn implies(&self, o: &Condition) -> bool

Is every state of self also in o?

pub fn overlay(&self, o: &Condition) -> Condition

self with o’s variables replaced by what o says: the state after an action that sets those variables, leaving the rest alone.

pub fn contradictions(&self, o: &Condition) -> Vec<VarId>

Variables both mention but on which they can’t both hold.

pub fn restrict(&self, vars: impl IntoIterator<Item = VarId>) -> Condition

Only the given variables.

pub fn unproven(&self, o: &Condition) -> Condition

The parts of o that self doesn’t already guarantee.

Trait Implementations

impl Clone for Condition

fn clone(&self) -> Condition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Condition

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

Formats the value using the given formatter.

impl Default for Condition

fn default() -> Condition

Returns the “default value” for a type.

impl Eq for Condition

impl Hash for Condition

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Condition

fn eq(&self, other: &Condition) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Condition