ConstraintDeps

flux_infer::refine_tree

Struct ConstraintDeps 

Source 
struct ConstraintDeps {
    assumptions: IndexVec<ClauseId, FxHashSet<KVid>>,
    heads: IndexVec<ClauseId, Head>,
}

Fields§

§assumptions: IndexVec<ClauseId, FxHashSet<KVid>>

assumptions for each clause

§heads: IndexVec<ClauseId, Head>

head of each clause

Implementations§

Source§

impl ConstraintDeps

Source

fn new(node: &Node) -> Self

Source

fn insert_clause(&mut self, assumptions: &[KVid], head: Head)

Source

fn build(&mut self, node: &Node, assumptions: &mut Vec<KVid>)

Source

fn kv_lhs(&self) -> FxHashMap<KVid, Vec<ClauseId>>

set of edges where kvid appears as ASSM

Source

fn kv_rhs(&self) -> FxHashMap<KVid, Vec<ClauseId>>

set of edges where kvid appears as HEAD

Source

fn bot_kvars(self) -> Assignment

Computes the set of all kvars that can be assigned to Bot (False), because they are not (transitively) reachable from any concrete ASSUMPTION.

Source

fn top_kvars(self) -> Assignment

Computes the set of all kvars that can be assigned to Top (True), because they do not (transitively) reach any concrete HEAD.

Trait Implementations§

Source§

impl Debug for ConstraintDeps

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

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> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. 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.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more