Enum PseudoBooleanComparison

Namespace: LogicalOptimizer

Assembly: LogicalOptimizer.Formats.dll

The comparison operator of a pseudo-Boolean constraint.

public enum PseudoBooleanComparison

Fields

Equal = 2: Σ cᵢ·lᵢ = bound.
GreaterOrEqual = 0: Σ cᵢ·lᵢ ≥ bound.
LessOrEqual = 1: Σ cᵢ·lᵢ ≤ bound.

Edit this page