Method qid

lean_py/z3/core.py:854–856

Return quantifier identifier (empty string).

(self)

        return 0

    def qid(self) -> str:
        """Return quantifier identifier (empty string)."""
        return ""

    def skolem_id(self) -> str:
        """Return Skolem identifier (empty string)."""