(self, e, extra_constraints=(), exact=None)
return self._solver.is_true(e, extra_constraints=self._adjust_constraint_list(extra_constraints), exact=exact)
If the expression provided is absolutely, definitely a true boolean, return True.
        Note that returning False doesn't necessarily mean that the expression can be false, just that we couldn't
        figure that out easily.

        :param e:                   An expression (an AST) to evaluate
        :param extra_constraints:   Extra constraints (as ASTs) to add to the solver for this solve.
        :param exact:               If False, return approximate solutions.
        :return:                    True if `v` is definitely true, False otherwise
If the expression provided is absolutely, definitely a true boolean, return True.
        Note that returning False doesn't necessarily mean that the expression can be false, just that we couldn't
        figure that out easily.
If the expression provided is absolutely definitely a true boolean return True . Note that returning False doesn t necessarily mean that the expression can be false just that we couldn t figure that out easily .
def is_true(self, e, extra_constraints=(), exact=None):
        """
        If the expression provided is absolutely, definitely a true boolean, return True.
        Note that returning False doesn't necessarily mean that the expression can be false, just that we couldn't
        figure that out easily.

        :param e:                   An expression (an AST) to evaluate
        :param extra_constraints:   Extra constraints (as ASTs) to add to the solver for this solve.
        :param exact:               If False, return approximate solutions.
        :return:                    True if `v` is definitely true, False otherwise
        """
        if exact is False and o.VALIDATE_APPROXIMATIONS in self.state.options:
            ar = self._solver.is_true(e, extra_constraints=self._adjust_constraint_list(extra_constraints), exact=False)
            er = self._solver.is_true(e, extra_constraints=self._adjust_constraint_list(extra_constraints))
            if er is False:
                assert ar is False
            return ar
        return self._solver.is_true(e, extra_constraints=self._adjust_constraint_list(extra_constraints), exact=exact)
def is_true ( self , e , extra_constraints = ( ) , exact = None ) : if exact is False and o . VALIDATE_APPROXIMATIONS in self . state . options : ar = self . _solver . is_true ( e , extra_constraints = self . _adjust_constraint_list ( extra_constraints ) , exact = False ) er = self . _solver . is_true ( e , extra_constraints = self . _adjust_constraint_list ( extra_constraints ) ) if er is False : assert ar is False return ar return self . _solver . is_true ( e , extra_constraints = self . _adjust_constraint_list ( extra_constraints ) , exact = exact )