DatatypeDecl

java.lang.Object
- io.github.cvc5.DatatypeDecl

```
public class DatatypeDecl
extends java.lang.Object
```
A cvc5 datatype declaration. A datatype declaration is not itself a datatype (see Datatype), but a specification for creating a datatype sort. The interface for a datatype declaration coincides with the syntax for the SMT-LIB 2.6 command declare-datatype, or a single datatype within the declare-datatypes command. Datatype sorts can be constructed from DatatypeDecl using the methods: - Solver.mkDatatypeSort(DatatypeDecl) - Solver.mkDatatypeSorts(DatatypeDecl[])

Field Summary

Fields
Modifier and Type Field Description

protected long pointer

Constructor Summary

Constructors
Constructor Description

DatatypeDecl()
Null datatypeDecl

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addConstructor(DatatypeConstructorDecl ctor)`	Add datatype constructor declaration.
`void`	`deletePointer()`
`protected void`	`deletePointer(long pointer)`
`java.lang.String`	`getName()`
`int`	`getNumConstructors()`	Get the number of constructors (so far) for this Datatype declaration.
`long`	`getPointer()`
`boolean`	`isNull()`
`boolean`	`isParametric()`
`java.lang.String`	`toString()`
`protected java.lang.String`	`toString(long pointer)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - pointer
```
protected long pointer
```
- Constructor Detail
  - DatatypeDecl
```
public DatatypeDecl()
```
    Null datatypeDecl
- Method Detail
  - deletePointer
```
protected void deletePointer(long pointer)
```
  - getPointer
```
public long getPointer()
```
  - addConstructor
```
public void addConstructor(DatatypeConstructorDecl ctor)
```
    Add datatype constructor declaration.
    
    Parameters:
    
    ctor - The datatype constructor declaration to add.
  - getNumConstructors
```
public int getNumConstructors()
```
    Get the number of constructors (so far) for this Datatype declaration.
  - isParametric
```
public boolean isParametric()
```
    Returns:
    
    True if this DatatypeDecl is parametric.
    
    Note:
    
    This method is experimental and may change in future versions.
  - isNull
```
public boolean isNull()
```
    Returns:
    
    True if this DatatypeDecl is a null object.
  - toString
```
protected java.lang.String toString(long pointer)
```
    Returns:
    
    A string representation of this datatype declaration.
  - getName
```
public java.lang.String getName()
```
    Returns:
    
    The name of this datatype declaration.
  - deletePointer
```
public void deletePointer()
```
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object