Package io.github.cvc5

Class 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

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()	Determine if this datatype declaration is parametric.
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)

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.

Returns:

The number of constructors.

isParametric

public boolean isParametric()

Determine if this datatype declaration is parametric.

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.

getPointer

public long getPointer()

deletePointer

public void deletePointer()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object