Struct RuntimeCheckers 

pub struct RuntimeCheckers { /* private fields */ }

Holds the runtime checkers that are added by a propagator.

Used when creating a new propagator in [PropagatorConstructor::create].

Implementations

impl RuntimeCheckers

pub fn empty() -> RuntimeCheckers

Create a RuntimeCheckers value which we accept may be empty.

This is often not what you want. If it is expected that some checkers should be added, use RuntimeCheckers::builder instead to communicate that intention.

pub fn builder() -> RuntimeCheckersBuilder

Create a RuntimeCheckersBuilder to add runtime checkers.

The RuntimeCheckersBuilder::build will panic if no checkers are added.

pub fn add_inference_checker( &mut self, constraint_tag: ConstraintTag, inference_label: impl InferenceLabel, checker: impl InferenceChecker<Predicate> + 'static, ) -> InferenceCode

Add an InferenceChecker to verify the soundness of propagations.

Trait Implementations

impl Clone for RuntimeCheckers

fn clone(&self) -> RuntimeCheckers

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuntimeCheckers

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

Formats the value using the given formatter.

impl IntoIterator for RuntimeCheckers

type Item = (InferenceCode, BoxedChecker<Predicate>)

The type of the elements being iterated over.

type IntoIter = IntoIter<<RuntimeCheckers as IntoIterator>::Item>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <RuntimeCheckers as IntoIterator>::IntoIter

Creates an iterator from a value.