Class DatatypeSelector


  • public class DatatypeSelector
    extends java.lang.Object
    A cvc5 datatype selector.
    • Field Detail

      • pointer

        protected long pointer
    • Method Detail

      • deletePointer

        protected void deletePointer​(long pointer)
      • equals

        public boolean equals​(java.lang.Object s)
        Syntactic equality operator.
        Overrides:
        equals in class java.lang.Object
        Parameters:
        s - The datatype selector to compare to for equality.
        Returns:
        True if the datatype selectors are equal.
      • getName

        public java.lang.String getName()
        Returns:
        The Name of this Datatype selector.
      • getTerm

        public Term getTerm()
        Get the selector term of this datatype selector. Selector terms are a class of function-like terms of selector sort (Sort::isDatatypeSelector), and should be used as the first argument of Terms of kind APPLY_SELECTOR.
        Returns:
        The Selector term.
      • getUpdaterTerm

        public Term getUpdaterTerm()
        Get the updater term of this datatype selector. Similar to selectors, updater terms are a class of function-like terms of updater Sort (Sort::isDatatypeUpdater), and should be used as the first argument of Terms of kind APPLY_UPDATER.
        Returns:
        The Updater term.
      • getCodomainSort

        public Sort getCodomainSort()
        Returns:
        The Codomain sort of this selector.
      • isNull

        public boolean isNull()
        Returns:
        True If this DatatypeSelector is a null object.
      • toString

        protected java.lang.String toString​(long pointer)
        Returns:
        A String representation of this datatype selector.
      • hashCode

        public int hashCode()
        Get the hash value of a datatype selector.
        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