def test_search(self): bs = BacktrackingStrategy() map_csp = MapCSP() result = bs.solve(map_csp) self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.WA)) self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.NT)) self.assertEquals(MapCSP.BLUE, result.get_assignment(MapCSP.SA)) self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.Q)) self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.NSW)) self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.V)) self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.T))
def test_search(self): bs = BacktrackingStrategy() map_csp = MapCSP() result = bs.solve(map_csp) self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.WA)) self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.NT)) self.assertEquals(MapCSP.BLUE, result.get_assignment(MapCSP.SA)) self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.Q)) self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.NSW)) self.assertEquals(MapCSP.GREEN, result.get_assignment(MapCSP.V)) self.assertEquals(MapCSP.RED, result.get_assignment(MapCSP.T))
def test_search_failed(self): var1 = Variable('var1') var2 = Variable('var2') domain = Domain(['v1']) bs = BacktrackingStrategy() csp = CSP([var1, var2]) csp.add_constraint(NotEqualConstraint(var1, var2)) csp.set_domain(var1, domain) csp.set_domain(var2, domain) result = bs.solve(csp) self.assertEquals(None, result)
def test_search_failed(self): var1 = Variable('var1') var2 = Variable('var2') domain = Domain(['v1']) bs = BacktrackingStrategy() csp = CSP([var1, var2]) csp.add_constraint(NotEqualConstraint(var1, var2)) csp.set_domain(var1, domain) csp.set_domain(var2, domain) result = bs.solve(csp) self.assertEquals(None, result)