def testWorstCaseSimpleCSP(self): '''incompatible problem last hyp''' for i in range(CSPTest.NVAL): self.__csp[CSPTest.NVAR - 2][i].value = -1 self.__csp[CSPTest.NVAR - 1][i].value = -2 solver = CSPExact(self.__csp, None) solFound = solver.solveCSP() logger.debug(solver) self.assertEqual(False, solFound)
def testInitialInvalidCSPElem(self): '''invalid root_hyp does not affect incompatibility''' for i in range(CSPTest.NVAL): self.__csp[CSPTest.NVAR - 2][i].value = -1 self.__csp[CSPTest.NVAR - 1][i].value = 8 solver = CSPExact(self.__csp, [CSPElem(-2, True)]) solFound = solver.solveCSP() logger.debug(solver) self.assertEqual(True, solFound)
def testInitialCSPElem(self): ''' initial root_hyp makes csp incompatible''' for i in range(CSPTest.NVAL): self.__csp[CSPTest.NVAR - 2][i].value = -1 self.__csp[CSPTest.NVAR - 1][i].value = 8 solver = CSPExact(self.__csp, [CSPElem(-2, False)]) solFound = solver.solveCSP() logger.debug(solver) self.assertEqual(False, solFound)