Lock

Struct Lock 

Source
pub struct Lock {
    pub tiers: BTreeMap<String, Tier>,
}
Expand description

The persisted previous solution — §3.4’s stability guardrail.

A one-line edit must not re-place unrelated code. Nothing in the cost model prevents that on its own: costs are a function of the whole program, so a new definition shifts them everywhere. The lock is what turns “the solver happens to agree with yesterday” into “the solver is asked to agree with yesterday, and says so when it cannot” — a tie-break and a record, never an override, because a lock that could force an illegal placement would be a way to defeat §3.5.

Fields§

§tiers: BTreeMap<String, Tier>

Implementations§

Source§

impl Lock

Source

pub const FILE: &'static str = "beck.lock"

Source

pub fn from_json(text: &str) -> Option<Lock>

Source

pub fn to_json(&self) -> String

Source

pub fn of(solution: &Solution) -> Lock

Trait Implementations§

Source§

impl Clone for Lock

Source§

fn clone(&self) -> Lock

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Lock

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for Lock

Source§

fn default() -> Lock

Returns the “default value” for a type. Read more

Auto Trait Implementations§

§

impl Freeze for Lock

§

impl RefUnwindSafe for Lock

§

impl Send for Lock

§

impl Sync for Lock

§

impl Unpin for Lock

§

impl UnwindSafe for Lock

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.