diff options
| author | PaulMeng <baolmeng@gmail.com> | 2016-04-15 11:40:40 -0500 |
|---|---|---|
| committer | PaulMeng <baolmeng@gmail.com> | 2016-04-15 11:40:40 -0500 |
| commit | 7f09980d2bed5effd511d5f690d968f3cc048363 (patch) | |
| tree | 61481c16efe95c30f5a4e68009612191e8f7f49b /src/theory/sets/kinds | |
| parent | 4a17519a49f49633fa0145a55b1b45346f2b86fc (diff) | |
change transitive closure operator name to TCLOUSRE
Diffstat (limited to 'src/theory/sets/kinds')
| -rw-r--r-- | src/theory/sets/kinds | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/sets/kinds b/src/theory/sets/kinds index 6767de481..efd00093a 100644 --- a/src/theory/sets/kinds +++ b/src/theory/sets/kinds @@ -46,7 +46,7 @@ operator INSERT 2: "set obtained by inserting elements (first N-1 paramet operator JOIN 2 "set join" operator PRODUCT 2 "set cartesian product" operator TRANSPOSE 1 "set transpose" -operator TRANSCLOSURE 1 "set transitive closure" +operator TCLOSURE 1 "set transitive closure" typerule UNION ::CVC4::theory::sets::SetsBinaryOperatorTypeRule typerule INTERSECTION ::CVC4::theory::sets::SetsBinaryOperatorTypeRule @@ -60,7 +60,7 @@ typerule INSERT ::CVC4::theory::sets::InsertTypeRule typerule JOIN ::CVC4::theory::sets::RelBinaryOperatorTypeRule typerule PRODUCT ::CVC4::theory::sets::RelBinaryOperatorTypeRule typerule TRANSPOSE ::CVC4::theory::sets::RelTransposeTypeRule -typerule TRANSCLOSURE ::CVC4::theory::sets::RelTransClosureTypeRule +typerule TCLOSURE ::CVC4::theory::sets::RelTransClosureTypeRule construle UNION ::CVC4::theory::sets::SetsBinaryOperatorTypeRule construle INTERSECTION ::CVC4::theory::sets::SetsBinaryOperatorTypeRule @@ -71,6 +71,6 @@ construle INSERT ::CVC4::theory::sets::InsertTypeRule construle JOIN ::CVC4::theory::sets::RelBinaryOperatorTypeRule construle PRODUCT ::CVC4::theory::sets::RelBinaryOperatorTypeRule construle TRANSPOSE ::CVC4::theory::sets::RelTransposeTypeRule -construle TRANSCLOSURE ::CVC4::theory::sets::RelTransClosureTypeRule +construle TCLOSURE ::CVC4::theory::sets::RelTransClosureTypeRule endtheory |