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)
