Python Solver.propogateの例

コード例 #1

ファイル: SolverTests.py プロジェクト: eomahony/Numberjack

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

        solver.propogate()

コード例 #2

ファイル: SolverTests.py プロジェクト: vomrat/Numberjack

    def testSingleProp(self):
        var1 = Variable(0, 3)
        var2 = Variable(0, 5)

        model = NativeModel()

        model.add(var1 > var2)

        solver = Solver(model)

        solver.propogate()

コード例 #3

ファイル: SolverTests.py プロジェクト: eomahony/Numberjack

    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

ファイル: SolverTests.py プロジェクト: vomrat/Numberjack

    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))