(self)
return self.true_formula
Return the boolean constant True.
Return the boolean constant True.
Return the boolean constant True .
def TRUE(self):
        """Return the boolean constant True."""
        return self.true_formula
def TRUE ( self ) : return self . true_formula