Class PseudoBooleanConstraint

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Formats.dll

A single linear pseudo-Boolean constraint Σ coefficientᵢ · literalᵢ OP bound. A literal is a 1-based signed variable index: a positive value v is xv, a negative value -v is the negation ~xv. Coefficients may be negative.

public sealed class PseudoBooleanConstraint

Inheritance

object

PseudoBooleanConstraint

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Properties

Bound

public long Bound { get; }

Property Value

long

Comparison

public PseudoBooleanComparison Comparison { get; }

Property Value

PseudoBooleanComparison

Terms

The weighted terms, each a (coefficient, signed-literal) pair.

public IReadOnlyList<(long Coefficient, int Literal)> Terms { get; }

Property Value

IReadOnlyList<(long Coefficient, int Literal)>