Enum PseudoBooleanEncoding

pub enum PseudoBooleanEncoding {
    GeneralizedTotalizer,
    CardinalityNetwork,
    SingleInteger,
}

Specifies the type of pseudo-boolean encoding which is used by the PseudoBooleanConstraintEncoder.

Variants

GeneralizedTotalizer

Specifies the usage of the generalized totalizer encoding for pseudo-boolean constraints [1].

Bibliography

[1] “Generalized totalizer encoding for pseudo-boolean constraints.”, Joshi Saurabh, Ruben Martins, Vasco Manquinho; CP ’15

CardinalityNetwork

Specifies the usage of the cardinality network [1] encoding for unweighted cardinality constraints in the form x1 + ... + xn <= k. The encoding is arc-consistent and supports incremental strengthening of the upper bound.

Bibliography

[1] R. Asín, R. Nieuwenhuis, A. Oliveras, and E. Rodríguez-Carbonell, ‘Cardinality networks: a theoretical and empirical study’, Constraints, vol. 16, pp. 195–221, 2011.

SingleInteger

Specifies the usage of an econding which takes as input a single integer.

Note that if this case occurs, it is recommended to use Solver::maximise or Solver::minimise directly.

Trait Implementations

impl Clone for PseudoBooleanEncoding

fn clone(&self) -> PseudoBooleanEncoding

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PseudoBooleanEncoding

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

Formats the value using the given formatter.

impl Display for PseudoBooleanEncoding

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

Formats the value using the given formatter.

impl Copy for PseudoBooleanEncoding