Struct MaximumArgs 

pub struct MaximumArgs<ElementVar, Rhs> {
    pub array: Box<[ElementVar]>,
    pub rhs: Rhs,
    pub constraint_tag: ConstraintTag,
}

Fields

array: Box<[ElementVar]>

rhs: Rhs

constraint_tag: ConstraintTag

Trait Implementations

impl<ElementVar, Rhs> Clone for MaximumArgs<ElementVar, Rhs>

where ElementVar: Clone, Rhs: Clone,

fn clone(&self) -> MaximumArgs<ElementVar, Rhs>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<ElementVar, Rhs> Debug for MaximumArgs<ElementVar, Rhs>

where ElementVar: Debug, Rhs: Debug,

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

Formats the value using the given formatter.

impl<ElementVar, Rhs> PropagatorConstructor for MaximumArgs<ElementVar, Rhs>

where ElementVar: IntegerVariable + 'static, Rhs: IntegerVariable + 'static,

type PropagatorImpl = MaximumPropagator<ElementVar, Rhs>

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<'_>, ) -> <MaximumArgs<ElementVar, Rhs> as PropagatorConstructor>::PropagatorImpl

Create the propagator instance from Self.