diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-28 08:14:43 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-28 08:14:43 -0500 |
| commit | db6215dddeb90719a24793a50c87635125fd2817 (patch) | |
| tree | 3124930b6cd54f991930d20a2c35b1f805953ea9 /src/theory/sets/kinds | |
| parent | 29e5b12f95e56f94d4fa1b9b48ef429ff1c96725 (diff) | |
rename kind::IN to kind::MEMBER (fixes some windows build conflicts)
Diffstat (limited to 'src/theory/sets/kinds')
| -rw-r--r-- | src/theory/sets/kinds | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/sets/kinds b/src/theory/sets/kinds index bae0c5f1d..68941489f 100644 --- a/src/theory/sets/kinds +++ b/src/theory/sets/kinds @@ -37,7 +37,7 @@ operator UNION 2 "set union" operator INTERSECTION 2 "set intersection" operator SETMINUS 2 "set subtraction" operator SUBSET 2 "subset" -operator IN 2 "set membership" +operator MEMBER 2 "set membership" operator SET_SINGLETON 1 "singleton set" @@ -45,7 +45,7 @@ typerule UNION ::CVC4::theory::sets::SetUnionTypeRule typerule INTERSECTION ::CVC4::theory::sets::SetIntersectionTypeRule typerule SETMINUS ::CVC4::theory::sets::SetSetminusTypeRule typerule SUBSET ::CVC4::theory::sets::SetSubsetTypeRule -typerule IN ::CVC4::theory::sets::SetInTypeRule +typerule MEMBER ::CVC4::theory::sets::SetMemberTypeRule typerule SET_SINGLETON ::CVC4::theory::sets::SetSingletonTypeRule typerule EMPTYSET ::CVC4::theory::sets::EmptySetTypeRule |