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)
boolean	equals(java.lang.Object d)	Syntactic equality operator.
java.lang.String	getName()
int	getNumConstructors()	Get the number of constructors (so far) for this Datatype declaration.
long	getPointer()
int	hashCode()	Get the hash value of a datatype declaration.
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, finalize, getClass, 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)

equals

public boolean equals(java.lang.Object d)

Syntactic equality operator.

Overrides:

equals in class java.lang.Object

Parameters:

d - The datatype declaration to compare to for equality.

Returns:

True if the datatype declarations are equal.

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.

hashCode

public int hashCode()

Get the hash value of a datatype 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