Package io.github.cvc5

Class Op

  • public class Op
extends java.lang.Object
    A cvc5 operator. An operator is a term that represents certain operators, instantiated with its required parameters, e.g., a Term of kind Kind.BITVECTOR_EXTRACT.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected long pointer  

    • Constructor Summary

      Constructors 
      Constructor Description
      Op()
      Null op

    • Field Detail

      • pointer

        protected long pointer

    • Constructor Detail

      • Op

        public Op()
        Null op

    • Method Detail

      • deletePointer

        protected void deletePointer​(long pointer)

      • equals

        public boolean equals​(java.lang.Object t)
        Syntactic equality operator.
        Overrides:
        equals in class java.lang.Object
        Parameters:
        t - The operator to compare to for equality.
        Returns:
        True if the operators are syntactically identical.

      • getKind

        public Kind getKind()
        Returns:
        The kind of this operator.

      • isNull

        public boolean isNull()
        Returns:
        True if this operator is a null term.

      • isIndexed

        public boolean isIndexed()
        Returns:
        True iff this operator is indexed.

      • getNumIndices

        public int getNumIndices()
        Returns:
        The number of indices of this op.

      • get

        public Term get​(int i)
         throws CVC5ApiException
        Get the index at position i.
        Parameters:
        i - The position of the index to return.
        Returns:
        The index at position i.
        Throws:
        CVC5ApiException - on error

      • toString

        protected java.lang.String toString​(long pointer)
        Returns:
        A string representation of this operator.

      • hashCode

        public int hashCode()
        Get the hash value of an operator.
        Overrides:
        hashCode in class java.lang.Object
        Returns:
        The hash value.

      • getPointer

        public long getPointer()

      • deletePointer

        public void deletePointer()

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object