Kind 

Every Term has an associated kind. This kind distinguishes if the Term is a value, constant, variable or operator, and what kind of each. For example, a bit-vector value has kind CONST_BITVECTOR , a free constant symbol has kind CONSTANT , an equality over terms of any sort has kind EQUAL , and a universally quantified formula has kind FORALL .

template < >
struct hash < cvc5 :: Kind > 

Hash function for Kinds.

Public Functions

size_t operator () ( cvc5 :: Kind kind ) const 

Hashes a Kind to a size_t.

Parameters :

kind – The kind.

Returns :

The hash value.