예제 #1
0
    def testSingleProp(self):
        var1 = Variable(0, 3)
        var2 = Variable(0, 5)
        
        model = NativeModel()
        
        model.add(var1 > var2)
         
        solver = Solver(model)

        solver.propogate()
예제 #2
0
    def testSingleProp(self):
        var1 = Variable(0, 3)
        var2 = Variable(0, 5)

        model = NativeModel()

        model.add(var1 > var2)

        solver = Solver(model)

        solver.propogate()
예제 #3
0
    def testSingleProp_1(self):
        var1 = Variable(0, 0)
        var2 = Variable(0, 5)
        
        model = NativeModel()
        
        model.add(var2 != var1)
         
        solver = Solver(model)

        solver.propogate()
        
        assert( not var2.can_be_instantiated_to(0) )
예제 #4
0
    def testSingleProp_1(self):
        var1 = Variable(0, 0)
        var2 = Variable(0, 5)

        model = NativeModel()

        model.add(var2 != var1)

        solver = Solver(model)

        solver.propogate()

        assert (not var2.can_be_instantiated_to(0))