question: public DomainRestoreInfo reduceDomains ( CSP csp ) { DomainRestoreInfo result = new DomainRestoreInfo ( ) ; Queue < Variable > queue = QueueFactory . < Variable > createLifoQueue ( ) ; for ( Variable var : csp . getVariables ( ) ) queue . add ( var ) ; reduceDomains ( queue , csp , result ) ; return result . compactify ( ) ; }
target:  Makes a CSP consisting of binary constraints arc-consistent.