Exemplos de Array.is_constant em Python

Exemplo n.º 1

    def test_array_value_is_constant(self):
        r = Symbol("r", REAL)
        ax1 = Array(REAL, Real(0), {Real(1): r})
        ax2 = Array(REAL, r, {Real(1): Real(2)})
        ax3 = Array(REAL, Real(0), {Real(1): Real(2)})
        self.assertFalse(ax1.is_constant())
        self.assertFalse(ax2.is_constant())
        self.assertTrue(ax3.is_constant())

        with self.assertRaises(PysmtValueError):
            self.assertTrue(ax3.is_constant(_type=REAL))

        with self.assertRaises(PysmtValueError):
            self.assertTrue(ax3.is_constant(value=Real(2)))

Exemplo n.º 2

Arquivo: test_array.py Projeto: mpreiner/pysmt

    def test_array_value_is_constant(self):
        r = Symbol("r", REAL)
        ax1 = Array(REAL, Real(0), {Real(1): r})
        ax2 = Array(REAL, r, {Real(1): Real(2)})
        ax3 = Array(REAL, Real(0), {Real(1): Real(2)})
        self.assertFalse(ax1.is_constant())
        self.assertFalse(ax2.is_constant())
        self.assertTrue(ax3.is_constant())

        with self.assertRaises(PysmtValueError):
            self.assertTrue(ax3.is_constant(_type=REAL))

        with self.assertRaises(PysmtValueError):
            self.assertTrue(ax3.is_constant(value=Real(2)))