final case classCard(lits: List[Int], relOp: (PseudoBooleanLike.this)#RelOp, k: Int) extends (PseudoBooleanLike.this)#PseudoBoolCst with Product with Serializable
A cardinality constraint of the form
sum(lits) relop k
.
sum(lits) relop k
}}}
Linear Supertypes
Serializable, Serializable, Product, Equals, (PseudoBooleanLike.this)#PseudoBoolCst, AnyRef, Any
A cardinality constraint of the form
. sum(lits) relop k }}}