final case classClassicPBCst(lits: List[Int], relOp: (PseudoBooleanLike.this)#RelOp, k: Int, weights: Map[Int, Int]) extends (PseudoBooleanLike.this)#PseudoBoolCst with Product with Serializable
A classic PB constraint f the form
sum(weights(lit)*lit) relop k
.
sum(weights(lit)*lit) relop k
}}}
Linear Supertypes
Serializable, Serializable, Product, Equals, (PseudoBooleanLike.this)#PseudoBoolCst, AnyRef, Any
A classic PB constraint f the form
. sum(weights(lit)*lit) relop k }}}