diff options
Diffstat (limited to 'docs/api/python/regular/kind.rst')
-rw-r--r-- | docs/api/python/regular/kind.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/api/python/regular/kind.rst b/docs/api/python/regular/kind.rst index f2dd8550b..b4be797e0 100644 --- a/docs/api/python/regular/kind.rst +++ b/docs/api/python/regular/kind.rst @@ -2,11 +2,11 @@ Kind ================ Every :py:class:`Term <pycvc5.Term>` has a kind which represents its type, for -example whether it is an equality (:py:obj:`Equal <pycvc5.kinds.Equal>`), a -conjunction (:py:obj:`And <pycvc5.kinds.And>`), or a bit-vector addtion -(:py:obj:`BVAdd <pycvc5.kinds.BVAdd>`). +example whether it is an equality (:py:obj:`Equal <pycvc5.Kind.Equal>`), a +conjunction (:py:obj:`And <pycvc5.Kind.And>`), or a bit-vector addtion +(:py:obj:`BVAdd <pycvc5.Kind.BVAdd>`). The kinds below directly correspond to the enum values of the C++ :cpp:enum:`Kind <cvc5::api::Kind>` enum. -.. autoclass:: pycvc5.kinds +.. autoclass:: pycvc5.Kind :members: :undoc-members: |