io.github.cvc5

Class DatatypeSelector

java.lang.Object

io.github.cvc5.DatatypeSelector

public class DatatypeSelector
extends Object

A cvc5 datatype selector.

Field Summary

Fields

Modifier and Type	Field and Description
protected long	pointer

Method Summary

Modifier and Type	Method and Description
void	deletePointer()
protected void	deletePointer(long pointer)
boolean	equals(Object s) Syntactic equality operator.
Sort	getCodomainSort()
String	getName()
long	getPointer()
Term	getTerm() Get the selector term of this datatype selector.
Term	getUpdaterTerm() Get the updater term of this datatype selector.
int	hashCode() Get the hash value of a datatype selector.
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 s)

Syntactic equality operator.

Overrides:

equals in class Object

Parameters:

s - The datatype selector to compare to for equality.

Returns:

True if the datatype selectors are equal.

getName

public String getName()

Returns:

The Name of this Datatype selector.

getTerm

public Term getTerm()

Get the selector term of this datatype selector. Selector terms are a class of function-like terms of selector sort (Sort::isDatatypeSelector), and should be used as the first argument of Terms of kind APPLY_SELECTOR.

Returns:

The Selector term.

getUpdaterTerm

public Term getUpdaterTerm()

Get the updater term of this datatype selector. Similar to selectors, updater terms are a class of function-like terms of updater Sort (Sort::isDatatypeUpdater), and should be used as the first argument of Terms of kind APPLY_UPDATER.

Returns:

The Updater term.

getCodomainSort

public Sort getCodomainSort()

Returns:

The Codomain sort of this selector.

isNull

public boolean isNull()

Returns:

True If this DatatypeSelector is a null object.

toString

protected String toString(long pointer)

Returns:

A String representation of this datatype selector.

hashCode

public int hashCode()

Get the hash value of a datatype selector.

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