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

protected Solver solver

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addConstructor(DatatypeConstructorDecl ctor)`	Add datatype constructor declaration.
`protected void`	`deletePointer(long pointer)`
`java.lang.String`	`getName()`
`int`	`getNumConstructors()`	Get the number of constructors (so far) for this Datatype declaration.
`long`	`getPointer()`
`Solver`	`getSolver()`
`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
  - solver
```
protected final Solver solver
```
  - pointer
```
protected long pointer
```
- 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.
  - getSolver
```
public Solver getSolver()
```
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object