DomainRestoreInfo function ( CSP arg0 ) { DomainRestoreInfo loc0 = new DomainRestoreInfo ( ) ; FIFOQueue < Variable > loc1 = new FIFOQueue < Variable > ( ) ; for ( Variable loc2 : arg0 . getVariables ( ) ) loc1 . add ( loc2 ) ; reduceDomains ( loc1 , arg0 , loc0 ) ; return loc0 . compactify ( ) ; }
makes a csp consisting of binary constraints arc-consistent . concode_field_sep PlaceHolder placeHolder concode_field_sep boolean revise