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 ( self )
Returns

The kind of this operator.

getNumIndices ( self )
Returns

The number of indices of this op.

isIndexed ( self )
Returns

True iff this operator is indexed.

isNull ( self )
Returns

True iff this operator is a null term.