Class DatatypeConstructorDecl


  • public class DatatypeConstructorDecl
    extends java.lang.Object
    A cvc5 datatype constructor declaration. A datatype constructor declaration is a specification used for creating a datatype constructor.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected long pointer  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addSelector​(java.lang.String name, Sort sort)
      Add datatype selector declaration.
      void addSelectorSelf​(java.lang.String name)
      Add datatype selector declaration whose codomain type is the datatype itself.
      void addSelectorUnresolved​(java.lang.String name, java.lang.String unresDataypeName)
      Add datatype selector declaration whose codomain sort is an unresolved datatype with the given name.
      void deletePointer()  
      protected void deletePointer​(long pointer)  
      boolean equals​(java.lang.Object d)
      Syntactic equality operator.
      long getPointer()  
      int hashCode()
      Get the hash value of a datatype constructor declaration.
      boolean isNull()  
      java.lang.String toString()  
      protected java.lang.String toString​(long pointer)  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • pointer

        protected long pointer
    • Method Detail

      • deletePointer

        protected void deletePointer​(long pointer)
      • equals

        public boolean equals​(java.lang.Object d)
        Syntactic equality operator.
        Overrides:
        equals in class java.lang.Object
        Parameters:
        d - The datatype constructor declaration to compare to for equality.
        Returns:
        True if the datatype constructor declarations are equal.
      • addSelector

        public void addSelector​(java.lang.String name,
                                Sort sort)
        Add datatype selector declaration.
        Parameters:
        name - The name of the datatype selector declaration to add.
        sort - The codomain sort of the datatype selector declaration to add.
      • addSelectorSelf

        public void addSelectorSelf​(java.lang.String name)
        Add datatype selector declaration whose codomain type is the datatype itself.
        Parameters:
        name - The name of the datatype selector declaration to add.
      • addSelectorUnresolved

        public void addSelectorUnresolved​(java.lang.String name,
                                          java.lang.String unresDataypeName)
        Add datatype selector declaration whose codomain sort is an unresolved datatype with the given name.
        Parameters:
        name - The name of the datatype selector declaration to add.
        unresDataypeName - The name of the unresolved datatype. The codomain of the selector will be the resolved datatype with the given name.
      • isNull

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

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

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