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.