(self)
return self.is_bool_constant(True)
Test whether the formula is the True Boolean constant.
Test whether the formula is the True Boolean constant.
Test whether the formula is the True Boolean constant .
def is_true(self):
        """Test whether the formula is the True Boolean constant."""
        return self.is_bool_constant(True)
def is_true ( self ) : return self . is_bool_constant ( True )