(self)
return self.node_type() in THEORY_OPERATORS
Test whether the node is a theory operator.
Test whether the node is a theory operator.
Test whether the node is a theory operator .
def is_theory_op(self):
        """Test whether the node is a theory operator."""
        return self.node_type() in THEORY_OPERATORS
def is_theory_op ( self ) : return self . node_type ( ) in THEORY_OPERATORS