mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
13 lines
441 B
ReStructuredText
13 lines
441 B
ReStructuredText
Kind
|
|
================
|
|
|
|
Every :py:class:`Term <cvc5.Term>` has a kind which represents its type, for
|
|
example whether it is an equality (:py:obj:`Equal <cvc5.Kind.Equal>`), a
|
|
conjunction (:py:obj:`And <cvc5.Kind.And>`), or a bit-vector addtion
|
|
(:py:obj:`BVAdd <cvc5.Kind.BVAdd>`).
|
|
The kinds below directly correspond to the enum values of the C++ :cpp:enum:`Kind <cvc5::Kind>` enum.
|
|
|
|
.. autoclass:: cvc5.Kind
|
|
:members:
|
|
:undoc-members:
|