(self)
return self.node_type() == ITE
Test whether the node is the Ite operator.
Test whether the node is the Ite operator.
Test whether the node is the Ite operator .
def is_ite(self):
        """Test whether the node is the Ite operator."""
        return self.node_type() == ITE
def is_ite ( self ) : return self . node_type ( ) == ITE