io.github.cvc5

Class Op

java.lang.Object

io.github.cvc5.Op

public class Op
extends java.lang.Object

A cvc5 operator. An operator is a term that represents certain operators, instantiated with its required parameters, e.g., a Term of kind Kind.BITVECTOR_EXTRACT.

Field Summary

Fields

Modifier and Type	Field and Description
protected long	pointer

Constructor Summary

Constructors

Constructor and Description
Op() Null op

Method Summary

Modifier and Type	Method and Description
void	deletePointer()
protected void	deletePointer(long pointer)
boolean	equals(java.lang.Object t) Syntactic equality operator.
Term	get(int i) Get the index at position i.
Kind	getKind()
int	getNumIndices()
long	getPointer()
int	hashCode() Get the hash value of an operator.
boolean	isIndexed()
boolean	isNull()
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

Op

public Op()

Null op

Method Detail

deletePointer

protected void deletePointer(long pointer)

equals

public boolean equals(java.lang.Object t)

Syntactic equality operator.

Overrides:

equals in class java.lang.Object

Parameters:

t - The operator to compare to for equality.

Returns:

True if the operators are syntactically identical.

getKind

public Kind getKind()

Returns:

The kind of this operator.

isNull

public boolean isNull()

Returns:

True if this operator is a null term.

isIndexed

public boolean isIndexed()

Returns:

True iff this operator is indexed.

getNumIndices

public int getNumIndices()

Returns:

The number of indices of this op.

get

public Term get(int i)
         throws CVC5ApiException

Get the index at position i.

Parameters:

i - The position of the index to return.

Returns:

The index at position i.

Throws:

CVC5ApiException - on error

toString

protected java.lang.String toString(long pointer)

Returns:

A string representation of this operator.

hashCode

public int hashCode()

Get the hash value of an operator.

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