Package io.github.cvc5
Class DatatypeConstructorDecl
- java.lang.Object
-
- io.github.cvc5.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)
-
-
-
Method Detail
-
deletePointer
protected void deletePointer(long pointer)
-
equals
public boolean equals(java.lang.Object d)
Syntactic equality operator.- Overrides:
equals
in classjava.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 classjava.lang.Object
- Returns:
- The hash value.
-
getPointer
public long getPointer()
-
deletePointer
public void deletePointer()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-