Struct SingleValueTrail 

pub struct SingleValueTrail<Domain> { /* private fields */ }

Trait Implementations

impl<Domain> AssociativeCollection for SingleValueTrail<Domain>

type Location = usize

impl<Domain: Clone> Clone for SingleValueTrail<Domain>

fn clone(&self) -> SingleValueTrail<Domain>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Domain> Collection for SingleValueTrail<Domain>

type Item = Domain

impl<Domain: Debug> Debug for SingleValueTrail<Domain>

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

Formats the value using the given formatter.

impl<Domain> Display for SingleValueTrail<Domain>

where Domain: Display,

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

Formats the value using the given formatter.

impl<Domain> Empty for SingleValueTrail<Domain>

fn empty() -> SingleValueTrail<Domain>

impl<Domain: PartialEq> PartialEq for SingleValueTrail<Domain>

fn eq(&self, other: &SingleValueTrail<Domain>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Domain> TrailRestoration for SingleValueTrail<Domain>

type Mark = usize

fn mark(&mut self) -> Self::Mark

fn undo(&mut self, mark: Self::Mark, memory: &mut Vec<Domain>)

fn commit(&mut self)

impl<Domain> TrailVariable for SingleValueTrail<Domain>

fn trail_variable(&mut self, loc: usize, value: Domain)

impl<Domain: Eq> Eq for SingleValueTrail<Domain>

impl<Domain> StructuralPartialEq for SingleValueTrail<Domain>