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.