public ImmutableFormulaList encode ( final PBConstraint cc ) { final EncodingResult result = EncodingResult . resultForFormula ( f ) ; this . encodeConstraint ( cc , result ) ; return new ImmutableFormulaList ( FType . AND , result . result ( ) ) ; }
Encodes a cardinality constraint and returns its CNF encoding .