io.github.cvc5

Class DatatypeConstructorDecl

java.lang.Object

io.github.cvc5.DatatypeConstructorDecl

public class DatatypeConstructorDecl
extends 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 and Description
protected long	pointer

Method Summary

Modifier and Type	Method and Description
void	addSelector(String name, Sort sort) Add datatype selector declaration.
void	addSelectorSelf(String name) Add datatype selector declaration whose codomain type is the datatype itself.
void	addSelectorUnresolved(String name, 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(Object d) Syntactic equality operator.
long	getPointer()
int	hashCode() Get the hash value of a datatype constructor declaration.
boolean	isNull()
String	toString()
protected 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

Method Detail

deletePointer

protected void deletePointer(long pointer)

equals

public boolean equals(Object d)

Syntactic equality operator.

Overrides:

equals in class 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(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(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(String name,
                                  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 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 class Object

Returns:

The hash value.

getPointer

public long getPointer()

deletePointer

public void deletePointer()

toString

public String toString()

Overrides:

toString in class Object