Op

class cvc5.Op

A cvc5 operator.

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

Wrapper class for cvc5::Op.

__getitem__()

Get the index at position i.

Parameters:

i – The position of the index to return.

Returns:

The index at position i.

getKind()

Returns:

The kind of this operator.

getNumIndices()

Returns:

The number of indices of this op.

isIndexed()

Returns:

True iff this operator is indexed.

isNull()

Returns:

True iff this operator is a null term.