public void encodeAMO ( final MiniSatStyleSolver s , final LNGIntVector lits ) { switch ( this . amoEncoding ) { case LADDER : this . ladder . encode ( s , lits ) ; break ; default : throw new IllegalStateException ( "Unknown AMO encoding: " + this . amoEncoding ) ; } }
Encodes an AMO constraint in the given solver .