public JSONArray toJSON ( Collection < SatConstraint > e ) throws JSONConverterException { JSONArray arr = new JSONArray ( ) ; for ( SatConstraint cstr : e ) { arr . add ( toJSON ( cstr ) ) ; } return arr ; }
Serialise a list of sat - constraints .