public Pair < ImmutableFormulaList , CCIncrementalData > encodeIncremental ( final PBConstraint cc ) { final EncodingResult result = EncodingResult . resultForFormula ( f ) ; final CCIncrementalData incData = this . encodeIncremental ( cc , result ) ; return new Pair <> ( new ImmutableFormulaList ( FType . AND , result . result ( ) ) , incData ) ; }
Encodes an incremental cardinality constraint and returns its encoding .