public void encodePB(final MiniSatStyleSolver s, final LNGIntVector lits, final LNGIntVector coeffs, int rhs) {
    switch (this.pbEncoding) {
      case SWC:
        this.swc.encode(s, lits, coeffs, rhs);
        break;
      default:
        throw new IllegalStateException("Unknown pseudo-Boolean encoding: " + this.pbEncoding);
    }
  }
public void encodePB ( final MiniSatStyleSolver s , final LNGIntVector lits , final LNGIntVector coeffs , int rhs ) { switch ( this . pbEncoding ) { case SWC : this . swc . encode ( s , lits , coeffs , rhs ) ; break ; default : throw new IllegalStateException ( "Unknown pseudo-Boolean encoding: " + this . pbEncoding ) ; } }
Encodes a pseudo-Boolean constraint.
@param s      the solver
@param lits   the literals of the constraint
@param coeffs the coefficients of the constraints
@param rhs    the right hand side of the constraint
@throws IllegalStateException if the pseudo-Boolean encoding is unknown