Struct ElementArgs 

pub struct ElementArgs<VX, VI, VE> {
    pub array: Box<[VX]>,
    pub index: VI,
    pub rhs: VE,
    pub constraint_tag: ConstraintTag,
}

Fields

array: Box<[VX]>

index: VI

rhs: VE

constraint_tag: ConstraintTag

Trait Implementations

impl<VX, VI, VE> Clone for ElementArgs<VX, VI, VE>

where VX: Clone, VI: Clone, VE: Clone,

fn clone(&self) -> ElementArgs<VX, VI, VE>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<VX, VI, VE> Debug for ElementArgs<VX, VI, VE>

where VX: Debug, VI: Debug, VE: Debug,

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

Formats the value using the given formatter.

impl<VX, VI, VE> PropagatorConstructor for ElementArgs<VX, VI, VE>

where VX: IntegerVariable + 'static, VI: IntegerVariable + 'static, VE: IntegerVariable + 'static,

type PropagatorImpl = ElementPropagator<VX, VI, VE>

The propagator that is produced by this constructor.

fn add_inference_checkers(&self, checkers: InferenceCheckers<'_>)

Add inference checkers to the solver if applicable.

fn create( self, context: PropagatorConstructorContext<'_>, ) -> <ElementArgs<VX, VI, VE> as PropagatorConstructor>::PropagatorImpl

Create the propagator instance from Self.