diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-20 19:59:48 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-21 19:15:29 -0400 |
commit | 44d05f7def63e5f675f80dab8829c5759db7e065 (patch) | |
tree | b02eb66f4f0aded32ae2bf45d8ae2c523bb94f69 /src/theory/sets/kinds | |
parent | 7b8c765e84987ae90226f9f7244492318fa85817 (diff) |
Sets kinds documentation
Diffstat (limited to 'src/theory/sets/kinds')
-rw-r--r-- | src/theory/sets/kinds | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/sets/kinds b/src/theory/sets/kinds index 12f114fc0..799261634 100644 --- a/src/theory/sets/kinds +++ b/src/theory/sets/kinds @@ -19,7 +19,7 @@ constant EMPTYSET \ ::CVC4::EmptySet \ ::CVC4::EmptySetHashFunction \ "util/emptyset.h" \ - "empty set" + "the empty set constant; payload is an instance of the CVC4::EmptySet class" # the type operator SET_TYPE 1 "set type" @@ -38,9 +38,9 @@ enumerator SET_TYPE \ operator UNION 2 "set union" operator INTERSECTION 2 "set intersection" operator SETMINUS 2 "set subtraction" -operator SUBSET 2 "subset" -operator MEMBER 2 "set membership" -operator SET_SINGLETON 1 "singleton set" +operator SUBSET 2 "subset predicate; first parameter a subset of second" +operator MEMBER 2 "set membership predicate; first parameter a member of second" +operator SET_SINGLETON 1 "the set of the single element given as a parameter" typerule UNION ::CVC4::theory::sets::SetsBinaryOperatorTypeRule typerule INTERSECTION ::CVC4::theory::sets::SetsBinaryOperatorTypeRule |