Id | Case Feature | Plug Feature | Skip Reason |
---|---|---|---|
50087d37ee5ade5e4e5a6ff86d555a4762538eaf | ConstantModelValue | OneLineComment | CanNotBeCase |
9cbb4a9db205d26343382707536c2074bfe00d82 | ConstantModelValue | OneLineComment | CanNotBeCase |
cd6b98ddf037407409bafc833dc186f8107644b5 | ConstantModelValue | MultiLineComment | CanNotBeCase |
f86ca14f0f275611cc2177dc966024320f4a9b81 | ConstantModelValue | MultiLineComment | CanNotBeCase |
ae2c1e7f897d2cd9b66cadf04227bdfa8d48f819 | ConstantModelValue | BoolTrue | CanNotBeCase |
c262df011c8f7ef2d7d239f0857bfb3c7205cceb | ConstantModelValue | BoolTrue | CanNotBeCase |
14c4706af15014fb18a9eb43561e6d4fcdedc6fd | ConstantModelValue | BoolFalse | CanNotBeCase |
b8c448a5471e8d6d925857db28803a0d4781fe8b | ConstantModelValue | BoolFalse | CanNotBeCase |
83b1109527240de1e4d554a6af8d69a1c470944b | ConstantModelValue | BoolSet | CanNotBeCase |
43cb548ccdaed891259f5841304a357fe5f61338 | ConstantModelValue | BoolSet | CanNotBeCase |
a66086df4b76ae04b50d6b86c278db9a17f8341a | ConstantModelValue | And | CanNotBeCase |
dce8e4b4964d81ff3ea56276260b61d3b444325f | ConstantModelValue | And | CanNotBeCase |
db088c8335806815c832b68f52868b64f3123fd8 | ConstantModelValue | AndMultiLine | CanNotBeCase |
c907ec39411ec58189ba941d0f62d9a2f146d93b | ConstantModelValue | AndMultiLine | CanNotBeCase |
50dd8dde48aa11f0685bac778d0f824b4967e0de | ConstantModelValue | Imply | CanNotBeCase |
bf12e345f59b6f22c9231f027e067528470648db | ConstantModelValue | Imply | CanNotBeCase |
7c8b8c697e6b083616400140e84cfcaee9e90dce | ConstantModelValue | Not | CanNotBeCase |
b24a54927ec810fc9c8cf309bae36c4f69b84af8 | ConstantModelValue | Not | CanNotBeCase |
ff3096f30901ca1b7cb547b2796c2057653c98cb | ConstantModelValue | Or | CanNotBeCase |
997ab7008c360fd6b3488e15cab4d4e7b984e036 | ConstantModelValue | Or | CanNotBeCase |
125cd0d2d398b59abb76c44d99d275bc140a5ff5 | ConstantModelValue | OrMultiLine | CanNotBeCase |
89a0872965adeae5bc66f5d739466596dcc2fb56 | ConstantModelValue | OrMultiLine | CanNotBeCase |
18ccfe4b08bc44aa09d1fb2035ef664ff7c56e63 | ConstantModelValue | AndProp | KindMismatch |
ad69e64d38e8660b741613e544900f9e41b05acf | ConstantModelValue | AndProp | KindMismatch |
4f926555e7cf8666c03a1443b9ceafecb5b35fa4 | ConstantModelValue | Boxed | KindMismatch |
cdd110c328ebc72a959f7b08bfb5e880ea4c01f2 | ConstantModelValue | Boxed | KindMismatch |
414f452e675cf8e7d126b251d5e3fac38d6d4d22 | ConstantModelValue | Eq | CanNotBeCase |
a0d337a476952e14db8e1acc0caa87fd820b34d0 | ConstantModelValue | Eq | CanNotBeCase |
b803caa0d3f76fab517c89b31ca269b7fd108338 | ConstantModelValue | Ne | CanNotBeCase |
4c3b1f9a143433b540d58c50c48ff82814ee6ad9 | ConstantModelValue | Ne | CanNotBeCase |
8acb59c7ed4051b61e0e646b3ab019d1d5850df6 | ConstantModelValue | Let | CanNotBeCase |
f5452010bc0e9b180b65f549bbbc263f0d8f3265 | ConstantModelValue | Let | CanNotBeCase |
096de8d0c0f74914f79283b6dcc503d7b76a8de6 | ConstantModelValue | SetEmpty | CanNotBeCase |
2180877f7210f895ab7a2fda8c45b58934e7d8c8 | ConstantModelValue | SetEmpty | CanNotBeCase |
1c2863d802459841c384917aa6c7aa545edf58a4 | ConstantModelValue | Set0 | CanNotBeCase |
30d6f6ee976b6eff0efba30dfa72861b96d0abbf | ConstantModelValue | Set0 | CanNotBeCase |
f328732b10dbdb881f9c530f53efede0137ba35d | ConstantModelValue | Set1 | CanNotBeCase |
2abe339ee62f07fc2d97356e708ffbc76ccf31ea | ConstantModelValue | Set1 | CanNotBeCase |
c2077714ec843c99a011a657e325b63e61ed0885 | ConstantModelValue | Set2 | CanNotBeCase |
4b22906af9ed74052479073ff754045412f5efe8 | ConstantModelValue | Set2 | CanNotBeCase |
828df7e693fcc2aba51670e8517e5e33e36e1f67 | ConstantModelValue | Set1InDef | AlreadyCombined |
f155fa131d7031df1fb34c0da14ed30a110aadce | ConstantModelValue | Set1InDef | AlreadyCombined |
49b164cedc17eec4cefc7943c8ce7ba01f85c121 | ConstantModelValue | Set2InDef | AlreadyCombined |
0a6696b2ca73812dc8882cae9c25e49bd7696882 | ConstantModelValue | Set2InDef | AlreadyCombined |
2592d1201fbf396b48056eeeb42d57184a51c3b9 | ConstantModelValue | InDef0 | TypeMismatch |
db28aa424b964175974933f8cfea482b9e82475f | ConstantModelValue | InDef0 | TypeMismatch |
13582916906ea30c40fa0719d94791c120ceaa0b | ConstantModelValue | InDef1 | TypeMismatch |
6bd5fade92d96ebbfb04bad6fa45a9fb0ca36674 | ConstantModelValue | InDef1 | TypeMismatch |
f0d82bc04d0253e9c2c0afad2e2956bb5dc5edb1 | ConstantModelValue | InDef2 | TypeMismatch |
eabefcb532bca97f3d8ffa88d38078c9e137cd8d | ConstantModelValue | InDef2 | TypeMismatch |
27359afb4ba56241d21d2ee901e92cefcceee454 | ConstantModelValue | Fun | CanNotBeCase |
4739e04030922bfce37ac7ed3c3b046b1fb9334a | ConstantModelValue | Fun | CanNotBeCase |
fd4aaca686b1ab43ebd55821c32e084e4b9b407e | ConstantModelValue | FunInDef | AlreadyCombined |
3c44d4676bf6db5300a060f39bf78d0616e3e6f4 | ConstantModelValue | FunInDef | AlreadyCombined |
89014e4a2069530fe0f316a39d07b5f3b8673bf0 | ConstantModelValue | In | CanNotBeCase |
fabafdd70c55020d494efc971ea30a8d95a809e6 | ConstantModelValue | In | CanNotBeCase |
3eaeb7424762c125474f18595b75452c1ebb8869 | ConstantModelValue | NotIn | CanNotBeCase |
f797e9f1037085ce046809e5c7133a8f18789fe5 | ConstantModelValue | NotIn | CanNotBeCase |
8b0e0f0e0531cac0a3be667028ac758445650f2f | ConstantModelValue | Exists | CanNotBeCase |
5ee48ecd2b6c38f99ed081a525ac0e218883c2e3 | ConstantModelValue | Exists | CanNotBeCase |
5ced8e30278ae50bb7014baab9c0fa7963af7381 | ConstantModelValue | Forall | CanNotBeCase |
24772540db4bd5a46903a3fed38b2b2c569a27bd | ConstantModelValue | Forall | CanNotBeCase |
47f0a6f75979ddb725849bfd2bdb8b70f788c0e2 | ConstantModelValue | ExistsInDef | AlreadyCombined |
fb918caf9978b890d0afe2624b6aa896daeaa22c | ConstantModelValue | ExistsInDef | AlreadyCombined |
1e68106eb5851e12712454edb21f3e481012e2b7 | ConstantModelValue | ForallInDef | AlreadyCombined |
ae8e2c0e503031b984bf7e6b629e6b5fed7d4bf7 | ConstantModelValue | ForallInDef | AlreadyCombined |
07017cf75902df3242411d839f9f2b7ab2dbcdac | ConstantModelValue | Choose | CanNotBeCase |
ab3b7744d275b97f6f3456798d9b9f86537e91e1 | ConstantModelValue | Choose | CanNotBeCase |
9fb8ed40891b48279e0b33636a4bfd651a335232 | ConstantModelValue | ChooseInDef | AlreadyCombined |
91c93349adb7890f15ffe5567b73c5bff8a386bf | ConstantModelValue | ChooseInDef | AlreadyCombined |
e6135b0cd563aa8e6fd73ac085f5d70e026dfe6a | ConstantModelValue | Record | CanNotBeCase |
e8c4e00ac7bf05f0a52b604f32520622df4e6634 | ConstantModelValue | Record | CanNotBeCase |
c5a80ed9c7e8e1329b27e73be640a2ae8b4667f0 | ConstantModelValue | Tuple | CanNotBeCase |
1123891cf1f3d0bf7a5ff060b0961e1a807e987b | ConstantModelValue | Tuple | CanNotBeCase |
2d3c626b9449c3dee5deba9828d6b7bcedc184fd | ConstantModelValue | TupleEmpty | CanNotBeCase |
e195661919014d96034ad6fb7f7df89899ec5894 | ConstantModelValue | TupleEmpty | CanNotBeCase |
a85c0b1a8b8fcfc8840652fb765258cf6d0bda52 | ConstantModelValue | FunApp | CanNotBeCase |
1189df35269e98ab2fabbe730f5983b596482705 | ConstantModelValue | FunApp | CanNotBeCase |
bdf478cd271a6091a00c7c8c2f9ed37a94eb2a18 | ConstantModelValue | Except0 | CanNotBePlug |
4871c8e4f502c48c6bd08c56355b6f42f0c88bb5 | ConstantModelValue | Except0 | CanNotBePlug |
82baeee71503a69b13c62c93423bef4dd773d090 | ConstantModelValue | Except1Fun | CanNotBePlug |
3be35026879b30bb7a1943e9bc20194334f03e6f | ConstantModelValue | Except1Fun | CanNotBePlug |
0d26672a3db2cf87b957df365216cbf816330573 | ConstantModelValue | Except1FunWithAt | CanNotBePlug |
ba9e1867ee71b47631e29ef610b18ef8f831f678 | ConstantModelValue | Except1FunWithAt | CanNotBePlug |
ae9e4573d340e0f23947b0001b7b250d78d9c176 | ConstantModelValue | Except1Rec | CanNotBePlug |
7bef60325a6ab943c2f628c77b63d9d22a3c804d | ConstantModelValue | Except1Rec | CanNotBePlug |
be5f02a580a58b4dbad53de30bc29899c9904f6f | ConstantModelValue | Except1RecWithAt | CanNotBePlug |
cc4d4deda87c36e20761a2f7223825d35e798ac6 | ConstantModelValue | Except1RecWithAt | CanNotBePlug |
b3a9b9e4ccc4f286229e36d81dbc822bdd21a52f | ConstantModelValue | Except2Fun | CanNotBePlug |
b6ad93c168758b0629b1aaee466f6ed023d640ae | ConstantModelValue | Except2Fun | CanNotBePlug |
fcebe489590c0a61c03c7180fef09fb73c955c3f | ConstantModelValue | Except2FunTuple | CanNotBePlug |
9532b2a1e5a2842fe1e59cf1268027c29b0bac1b | ConstantModelValue | Except2FunTuple | CanNotBePlug |
d9d6d312fbf0aa025b82ffce0a2f5830d51cec3c | ConstantModelValue | Prime | KindMismatch |
5be484b661ec8d74fc6561647bf4bf939da248b2 | ConstantModelValue | Prime | KindMismatch |
846f7ea3691664701f4bc7130939a8bd2e2c4026 | ConstantModelValue | NumZero | CanNotBeCase |
25bfc66884dbd6d49b6a19970169735ff51b8a2f | ConstantModelValue | NumZero | CanNotBeCase |
0341eb994b08d6ba1e8dbb5dd23063b71cf998ff | ConstantModelValue | NumOne | CanNotBeCase |
959adcc5bf9fff1e13388f73d8bd083a7c46fd32 | ConstantModelValue | NumOne | CanNotBeCase |
04cb43b77354dde936e65ed1f6723ed7ad231bea | ConstantModelValue | NumMaxInt | CanNotBeCase |
8b6d567fc079f66ef197df53b8a9df56afd61228 | ConstantModelValue | NumMaxInt | CanNotBeCase |
0dae3cd1f259e3db153ada9628e25b78b9cc7c22 | ConstantModelValue | NumUnaryMinus | CanNotBeCase |
1c8ac3594c178450807e9fe76bed975d1ebd7b13 | ConstantModelValue | NumUnaryMinus | CanNotBeCase |
e94a9d10f5f4559bcf6494e91ef5130f063a6816 | ConstantModelValue | NumPlus | CanNotBeCase |
a45613657222e85e6290b87bdb7caa2c09564cc1 | ConstantModelValue | NumPlus | CanNotBeCase |
dbc9345860e9153382b11ca3f2a65b1454aae2ca | ConstantModelValue | NumMinus | CanNotBeCase |
43bf4f816a0ed984dd9d13ac7ee865b55b65e3a0 | ConstantModelValue | NumMinus | CanNotBeCase |
475354f59b83b5fa353c91758727327525ebef53 | ConstantModelValue | NumMul | CanNotBeCase |
d93335ad5af7011bb2fd3927ff08d33463a9ee84 | ConstantModelValue | NumMul | CanNotBeCase |
8e617a4e48a11d926470891f01fa1ac08c0c0e42 | ConstantModelValue | NumDiv | CanNotBeCase |
d2088e704c7bf95c969396b37f30a3203bd8e7e6 | ConstantModelValue | NumDiv | CanNotBeCase |
66837340cd7ea60a9a59d25b80cd4312fff6623d | ConstantModelValue | NumMod | CanNotBeCase |
8dea8ba9de0e8afc47a5677204d927b2722660a1 | ConstantModelValue | NumMod | CanNotBeCase |
01f980f8fa18cb5536bd7aee2d27397310370446 | ConstantModelValue | NumPow | CanNotBeCase |
f6e048bc6f1a547858518f8308c585d19f949fbc | ConstantModelValue | NumPow | CanNotBeCase |
cbf28d52ebaacb75c5a5a96d79dac67cfc192960 | ConstantModelValue | NumGt | CanNotBeCase |
8245b149360d5d5cfa3150c0ea57897a4771e997 | ConstantModelValue | NumGt | CanNotBeCase |
26a36f64b68ff98079c1907feae91180575c9fba | ConstantModelValue | NumGe | CanNotBeCase |
69109a35e228a2668639c41ff7b6db61540e6688 | ConstantModelValue | NumGe | CanNotBeCase |
93f6effb9e999ae865c5ac3b6fe41072a8c896e8 | ConstantModelValue | NumLt | CanNotBeCase |
45f18ccfbfffc116a390b609ebc8b07454cc443a | ConstantModelValue | NumLt | CanNotBeCase |
8635d69999e1cbe7ae23f852d320be034f06be67 | ConstantModelValue | NumLe | CanNotBeCase |
8b1b9491e255c2f52a9a6f8c1dbf098354ce18a9 | ConstantModelValue | NumLe | CanNotBeCase |
c493ee824d16c3d80f4d220645cb2e65b411c571 | ConstantModelValue | DefFun | CanNotBeCase |
6bc24df07e05b76cf18fb88f53f0b2a6be77e4af | ConstantModelValue | DefFun | CanNotBeCase |
615223fc80da08593ec70eacb226f46afc9b616a | ConstantModelValue | LetDefFun | CanNotBeCase |
59de026c477218250900bc2c85a867b99456b8a3 | ConstantModelValue | LetDefFun | CanNotBeCase |
f60ffa6e8a9578fd5350cd440507e24d77e9862a | ConstantModelValue | DefFunRecursive | CanNotBeCase |
ff576e55658037ca08615c075c6984d9e098e991 | ConstantModelValue | DefFunRecursive | CanNotBeCase |
3d2f346be75e9da7f91c80fe40de6f9e03c5f734 | ConstantModelValue | LetDefFunRecursive | CanNotBeCase |
28b794539603c1db09fb6b764d5bf1b58d3d5515 | ConstantModelValue | LetDefFunRecursive | CanNotBeCase |
64d38d30190ec3f3653f4aa243cf9f862eacdece | ConstantModelValue | DefFunInDef | AlreadyCombined |
f028aef63cc7e48a732a739256f5150cedc04465 | ConstantModelValue | DefFunInDef | AlreadyCombined |
5aec70fb78fb59217d53ff3ce1219393550edd64 | ConstantModelValue | LetDefFunInDef | AlreadyCombined |
b7cceb471163756b36b4acd972ca4fde7c581165 | ConstantModelValue | LetDefFunInDef | AlreadyCombined |
c362d8136501f5ffe634da07cdae3ea9ae64e736 | ConstantModelValue | Def0 | CanNotBeCase |
ed1bc85b865dcfdba96b78d0fad47955918f1750 | ConstantModelValue | Def0 | CanNotBeCase |
518bcfd572bb6f584c8175de986a2b244a4362c8 | ConstantModelValue | LetDef0 | CanNotBeCase |
3698ff772fe286135f81932e560c14dbcd815edc | ConstantModelValue | LetDef0 | CanNotBeCase |
2fb16604bccfafb1d2e995eba2c0c7c241698026 | ConstantModelValue | Def1 | CanNotBeCase |
4e1607ab1935b3b420df09614f2e6e94e50771a3 | ConstantModelValue | Def1 | CanNotBeCase |
337c371ddb8b1dc45011cf36b53e20358f895775 | ConstantModelValue | LetDef1 | CanNotBeCase |
17fd181d3d358fb9ffac1a78b3192e141a6747c4 | ConstantModelValue | LetDef1 | CanNotBeCase |
610cafc2e3cfd14c62105b4ba6191375c1981f25 | ConstantModelValue | Def2 | CanNotBeCase |
72ac6e11d51205b74e94cf02b2ac897bd1c48446 | ConstantModelValue | Def2 | CanNotBeCase |
059075748add50295a9296f4bacd0f4ac93e1147 | ConstantModelValue | LetDef2 | CanNotBeCase |
42bb2b9e286b5c1a10a784f68f2a69f0ff9486d8 | ConstantModelValue | LetDef2 | CanNotBeCase |
13b62a1f7f1abc8acc2a8c950fe621a81d050da0 | ConstantModelValue | Def1Recursive | CanNotBeCase |
72858da962c6fd9861cfb6b31a5964aa7ec6e439 | ConstantModelValue | Def1Recursive | CanNotBeCase |
fd7966df7dc655c54131401154b7801c6f344c3e | ConstantModelValue | LetDef1Recursive | CanNotBeCase |
4d18e495018b71655ddc5ea327cff1ff899422c4 | ConstantModelValue | LetDef1Recursive | CanNotBeCase |
8c99b84c25d35855fbadccccb81f4f442f0064b1 | ConstantModelValue | Extends | CanNotBeCase |
afd735b90441ea1ea0252bd33e684deb7dd6a3e7 | ConstantModelValue | Extends | CanNotBeCase |
220293e144a2eeb6bb967004e1aab650087d32c2 | ConstantModelValue | ExtendsInDifferentFolder | CanNotBeCase |
d06fb5027c76fd201ceb19de1a050bbd1e0bdd11 | ConstantModelValue | ExtendsInDifferentFolder | CanNotBeCase |
2b6894370588f60421fcb18bfd09b40bdf0b7bf5 | ConstantModelValue | Variable | KindMismatch |
fea3df97377f30a38465bb24ce00936bd8f3876d | ConstantModelValue | Variable | KindMismatch |
88d8f297b462e879c96075138b690d2efdb5a75b | ConstantModelValue | VariableViewExclude | VariableExcludedFromView |
2904c74c5f72f2933c6153d1000fa15519d1a08c | ConstantModelValue | VariableViewExclude | VariableExcludedFromView |
0b9fd0b7068932c64194fe4be84e94659f40589c | ConstantModelValue | Constant | CanNotBeCase |
5e6c8337b3214665a13f0c0bec895d190a567f32 | ConstantModelValue | Constant | CanNotBeCase |
3bc13a64bd0d3f1e80755708995ba251ab7d6d58 | ConstantModelValue | ConstantModelValue | CanNotBeCase |
ffb5647156610218725c116c721c38ee6d69b17b | ConstantModelValue | ConstantModelValue | CanNotBeCase |
ca830b038621cb95772c6a7ba5e4e9df9b143570 | ConstantModelValue | ConstantRank1 | CanNotBeCase |
d540eafd181bb9d655de521b6715e3a0f361ad9f | ConstantModelValue | ConstantRank1 | CanNotBeCase |
3af7c5983e557e81b2ed9ef8358fdb0f90251a6b | ConstantModelValue | Instance | CanNotBeCase |
3a0e5cd2f0bdccbcb0feebd08dee189f34a7bb33 | ConstantModelValue | Instance | CanNotBeCase |
8c46e25290bda823d8edcf572b902e911f2b4ac4 | ConstantModelValue | InstanceWith | CanNotBeCase |
58f18bb15efd2a533a37121600ff53a26695170b | ConstantModelValue | InstanceWith | CanNotBeCase |
c1786046058507647ab0e3be66d1f76fa518a19e | ConstantModelValue | InstanceNamed | CanNotBeCase |
abe03916af8c44a56875d008da9ee240e636e384 | ConstantModelValue | InstanceNamed | CanNotBeCase |
9a6f6a855acfe5e14d8d828a58a319ec793be4a9 | ConstantModelValue | InstanceNamedWith | CanNotBeCase |
0f9468085f44e19b32b4a67c8fad9b3a222f3f9c | ConstantModelValue | InstanceNamedWith | CanNotBeCase |
8dbb13217a7d293731ea49854398804b0805dbd5 | ConstantModelValue | InstanceInFolder | CanNotBeCase |
3c476431618ce72071810725173d367197a072d9 | ConstantModelValue | InstanceInFolder | CanNotBeCase |
87d365eb5b838e01e5829f24cdac846c21aad9da | ConstantModelValue | InstanceWithInFolder | CanNotBeCase |
67c4422628a05d48f7b216a3363718cc0bf25ed5 | ConstantModelValue | InstanceWithInFolder | CanNotBeCase |
8bd69b9a1a67b4039fda16fa923f02e4291ad26f | ConstantModelValue | InstanceNamedInFolder | CanNotBeCase |
20a2b853a918b23722182a5c9045a9a16cc8fc5c | ConstantModelValue | InstanceNamedInFolder | CanNotBeCase |
6cafd6d595e030b05377e280985dc3d7041d101f | ConstantModelValue | InstanceNamedWithInFolder | CanNotBeCase |
2c4a9f2d59a8f27b8a6d81d8fae14cd2b4070930 | ConstantModelValue | InstanceNamedWithInFolder | CanNotBeCase |
d2f1121095d8a012f9b9328f9359bdd283f521f7 | ConstantModelValue | Enabled | KindMismatch |
a3b67ae8a2a85ed6e87c356d25dc9b4fc04f9b94 | ConstantModelValue | Enabled | KindMismatch |
0ce38ba27ce2bb8aa947e889e0083786a80b43bd | ConstantModelValue | Assume | AssumeIsNotEmbeddable |
0433107175871d8803043eb75347e855d5ce0714 | ConstantModelValue | Assume | AssumeIsNotEmbeddable |
1f75d70ef2601e0f436bc2e90bc04f2f4b93e539 | ConstantModelValue | AssumeNamed | AssumeIsNotEmbeddable |
cee731e3e2d93aaad2fbf657cf0fad38dccab45b | ConstantModelValue | AssumeNamed | AssumeIsNotEmbeddable |
a218c50d441ca7634f15f079e9a32d7c3906f498 | ConstantModelValue | Lambda | TypeMismatch |
03a30d66d32be90b6c679214a2bcbbf0b30b9160 | ConstantModelValue | Lambda | TypeMismatch |
3fcf34e33a010c38e8b1d23e24d9d7a7dc56530f | ConstantModelValue | Cross2 | CanNotBeCase |
5dc75540c160bbe4f391081c30e2247b44dd830a | ConstantModelValue | Cross2 | CanNotBeCase |
d2527e731cbe4b5f5c17fff46d09b6eefa148c6d | ConstantModelValue | Cross3 | CanNotBeCase |
8dc6942e801231c19d2986c55b945d8b9d2a6727 | ConstantModelValue | Cross3 | CanNotBeCase |
c8b1dc0f272c59fe929b75996268ba94a74ba24f | ConstantModelValue | FunSet | CanNotBeCase |
d6b6beb987bdae037ebbdb93d4983fe042b4b07d | ConstantModelValue | FunSet | CanNotBeCase |
8e9f027191e55a22ff5c03941eea32d95f9ae052 | ConstantModelValue | RecordSet | CanNotBeCase |
6f5a64e7c4a0bdab05b9f9b6875c12c3f125f838 | ConstantModelValue | RecordSet | CanNotBeCase |
1f7c5fb71c61f5ca46fb630fad0cea33c449ba36 | ConstantModelValue | SetDiff | CanNotBeCase |
1685246596b07a7ca70d27b5b5241cd512cd8366 | ConstantModelValue | SetDiff | CanNotBeCase |
1548d95731a8ca8d8eede6c423225841b3029f84 | ConstantModelValue | SetUnion | CanNotBeCase |
2ecf290bba600b9e6af62cc746ec6e350071d4d2 | ConstantModelValue | SetUnion | CanNotBeCase |
d46d0ca8c046166ade27ff4a9a0419ebe2d6db4f | ConstantModelValue | SetIntersect | CanNotBeCase |
18ec656de8ed4d99952b863b02935b513482e831 | ConstantModelValue | SetIntersect | CanNotBeCase |
d676f4ebbb710fe6adfd2e7a9ef984189e81d4b0 | ConstantModelValue | SubsetEq | CanNotBeCase |
ec6b748cc2d896a990b643fb1599e4177ae5eee4 | ConstantModelValue | SubsetEq | CanNotBeCase |
f2813672d4d3345fab72380d02c9ddbde851d69c | ConstantModelValue | IfCond | CanNotBeCase |
1ec3263799a6089015b0e1bd4ac252ded7241821 | ConstantModelValue | IfCond | CanNotBeCase |
75c21973213d6fa89af95e25593e936f91b4fe4a | ConstantModelValue | IfThen | CanNotBeCase |
746a4f48fd846dfb96cbf804ab65d028b652f60f | ConstantModelValue | IfThen | CanNotBeCase |
a9d31f611dde24997c2fa34ab6c670d8dcb44f0f | ConstantModelValue | IfElse | CanNotBeCase |
fbb3afd8040b8c0845de693991070d322f628062 | ConstantModelValue | IfElse | CanNotBeCase |
1a2c86fa9f653ab59b8b8fb8a3d7e141234295ea | ConstantModelValue | Subset | CanNotBeCase |
3400849a3961fd0743c261cc99d9c04a05233c04 | ConstantModelValue | Subset | CanNotBeCase |
a04a2428a0a294912294d1ab1847f4874974529f | ConstantModelValue | Domain | CanNotBeCase |
9665b35fab6eea18afd5e01386448b5345f611be | ConstantModelValue | Domain | CanNotBeCase |
19fa18478b4ec8e138c909b38d7a9e29af628bcd | ConstantModelValue | Union | CanNotBeCase |
46d20710d1c4e8b806924ab135df18c8c1c389fa | ConstantModelValue | Union | CanNotBeCase |
1bbd920dbdec7b859859d62b5c96eedb4f4af7ad | ConstantModelValue | Unchanged | KindMismatch |
5c34679612205717da14d47b9791ebdb11a93b2a | ConstantModelValue | Unchanged | KindMismatch |
ceb66d2ba831d4a84d71eaceba89661c82de1684 | ConstantModelValue | Equivalence | CanNotBeCase |
3a8348980b8962fd15b93b5dd69ba9273daaba97 | ConstantModelValue | Equivalence | CanNotBeCase |
df738941d2d1a1921b253cca31e54f7020797c47 | ConstantModelValue | StringEmpty | CanNotBeCase |
f19d32e107c29aab81260044efa0e28396a6adec | ConstantModelValue | StringEmpty | CanNotBeCase |
5622837528e8eb681264c72db1c8836687e87c5e | ConstantModelValue | String | CanNotBeCase |
e7f8276df2db57eac5eb6f5a4673ca703ad5ad69 | ConstantModelValue | String | CanNotBeCase |
e556beeb97368c65e1ac78ab7aa25efab31464b6 | ConstantModelValue | SeqLen | CanNotBeCase |
695f6054f377cba3351b5dfcca842a51bb1e6728 | ConstantModelValue | SeqLen | CanNotBeCase |
345c38c0ba1fe0918b18b49af197ac6e34c5b20e | ConstantModelValue | SeqConcat | CanNotBeCase |
608f989ffbbe72257d5ce662467c430cdd74d0ce | ConstantModelValue | SeqConcat | CanNotBeCase |
a587745b02fe57e88fa68b8a2ad0c9ed92dda088 | ConstantModelValue | SeqSeq | TypeMismatch |
f514ebb59e82c5eb871b6cf7e2b3d688d4b94365 | ConstantModelValue | SeqSeq | TypeMismatch |
539de91379a8ac67d594d08abcecf73859bcc544 | ConstantModelValue | NatSet | TypeMismatch |
77602cd416e987bc25181bf8744b4eac6b153e48 | ConstantModelValue | NatSet | TypeMismatch |
42ab5fda59ee1aeba06ca9a928845aa56a222037 | ConstantModelValue | IntSet | TypeMismatch |
0e2e8c1c4379d85c71859ad5562d935fe47fa1ba | ConstantModelValue | IntSet | TypeMismatch |
4f34bad83518a0597b1b2e4b075b1e3ec55669a3 | ConstantModelValue | StringSet | TypeMismatch |
774a6bcc264421d5dcf27b9ca153c8b9aec110ba | ConstantModelValue | StringSet | TypeMismatch |
57cc2492c039b92fe2131c7710818ee5f4aeb6de | ConstantModelValue | SeqSelectSeq | CanNotBeCase |
5a6d0c06af3ff59459d584e1df09346936c8b36a | ConstantModelValue | SeqSelectSeq | CanNotBeCase |
02777e3f45c7dafbde3c7119b035ccf66b839b5f | ConstantModelValue | SeqSubSeq | CanNotBeCase |
71ad6e13061d32e2384298ec76d0849cc86fb9ca | ConstantModelValue | SeqSubSeq | CanNotBeCase |
7cad4eaa8b153b1e8f797c0fc180e79787020678 | ConstantModelValue | NumRange | CanNotBeCase |
f7d9006868b72dd3b085f064827ff02e8078bd1b | ConstantModelValue | NumRange | CanNotBeCase |
aacc19459da96f6c00163d5b613120fcd369a501 | ConstantModelValue | TlcSingletonFun | CanNotBeCase |
bf2610e5c4cb03c77e374abeafdedd06753bc6dd | ConstantModelValue | TlcSingletonFun | CanNotBeCase |
6a44daa36e66e1579aa6c66c9dc6f79e33806eac | ConstantModelValue | TlcExtendFun | CanNotBeCase |
aafb1e84c1a67f23d85a283423603c5880abc8a5 | ConstantModelValue | TlcExtendFun | CanNotBeCase |
d3fbaa499274edb026bfbf77a50e34d0ba7ebbef | ConstantModelValue | TlcPermuteFun | CanNotBeCase |
26133b19c02ce2cfa2fca377b457dabd3844f280 | ConstantModelValue | TlcPermuteFun | CanNotBeCase |
80f2009c8716b2b8e5e5ff737b71e80c6e1751ee | ConstantModelValue | TlcSortSeq | CanNotBeCase |
095025fc4aa45c21c0bd66ccf26d8a17c5524f37 | ConstantModelValue | TlcSortSeq | CanNotBeCase |
c9ad6a0d6ac3117c45c2ef1715e1731da7f0c382 | ConstantModelValue | TlcEval | CanNotBeCase |
19d88038c0a63d872bb0b14eb875350a5c20327a | ConstantModelValue | TlcEval | CanNotBeCase |
0f5597a777715afecc491be84394768e6d4f0d78 | ConstantModelValue | BagBagToSet | CanNotBeCase |
3c53c9309b303910a7b9a9a644392abcfb5de9cf | ConstantModelValue | BagBagToSet | CanNotBeCase |
e3c254c7162b385e78b1242609009a54a849f428 | ConstantModelValue | BagSetToBag | CanNotBeCase |
29c6a21a3e9b8befe014a81b95470bb4aaaa0407 | ConstantModelValue | BagSetToBag | CanNotBeCase |
415987119b9cdd3e6f7021cc95e33c2ba4240b5f | ConstantModelValue | BagBagIn | CanNotBeCase |
1f364983d2e1a70077b6e209f3d4e61e2a6bb30c | ConstantModelValue | BagBagIn | CanNotBeCase |
9994625b0ac56cb8caebbd111c83e51b6d195d46 | ConstantModelValue | BagEmptyBag | CanNotBeCase |
631d520a537e67ea913cdf54b0138ae406ebbb76 | ConstantModelValue | BagEmptyBag | CanNotBeCase |
6fcae0ef27e6a0fb9a022c24f6f97212ae2d9f27 | ConstantModelValue | BagAddBag | CanNotBeCase |
96f0364bcba31be9d0b8b134425980a3f5de6df3 | ConstantModelValue | BagAddBag | CanNotBeCase |
964b8d2076c6667eb9708f95f694f1c7a24535c9 | ConstantModelValue | BagBagSub | CanNotBeCase |
c61c156ad32074ca9e2584743db3bb54884bccfc | ConstantModelValue | BagBagSub | CanNotBeCase |
3cc9929b90d1ce486e67788ccd881109d033c340 | ConstantModelValue | BagCopiesIn | CanNotBeCase |
f213f933b3b0a266a1befccee1274f89d065fe2f | ConstantModelValue | BagCopiesIn | CanNotBeCase |
e8f98d56dc638e09e3126c2e7c302e09026d48af | ConstantModelValue | BagSubsetEqBag | CanNotBeCase |
60681f8b13644090e4649f849daa5c154586b421 | ConstantModelValue | BagSubsetEqBag | CanNotBeCase |
fa198d9e6a240d46af2854a1d7ba5c51b44ebf0a | ConstantModelValue | BagBagUnion | CanNotBeCase |
dc76e8dbec9bc59172e2525dc38e71a7496f3bfb | ConstantModelValue | BagBagUnion | CanNotBeCase |
79e39d83aa7f351d3398227c45d6117fd40c4582 | ConstantModelValue | BagBagCardinality | CanNotBeCase |
ab4ecf0b69cad551d8ee276f7ea9177deaccd9d0 | ConstantModelValue | BagBagCardinality | CanNotBeCase |
4ad477f49c586388880cf5701e5be8e539151a0f | ConstantModelValue | BagBagOfAll | CanNotBeCase |
0d12459d32345874dc69bdb2ea7c12baa55b8014 | ConstantModelValue | BagBagOfAll | CanNotBeCase |
892c2e6520bc24c6c9268147c53b71373b887b8c | ConstantModelValue | BagSubBag | CanNotBeCase |
4abbf37dc74f7c69658e9f4b955af7d4a9220f5b | ConstantModelValue | BagSubBag | CanNotBeCase |
6ed409e773f83ac4b0e4c646b4d4f1c3bf01d7a3 | ConstantModelValue | FiniteSetsIsFiniteSet | CanNotBeCase |
2f04e13858c27be6d532634e1b41e61eb8340d75 | ConstantModelValue | FiniteSetsIsFiniteSet | CanNotBeCase |
cd235d79a59d347fc17f3f426de2290a47bcdfa1 | ConstantModelValue | FiniteSetsCardinality | CanNotBeCase |
ae315d7e60158f5de8725d4ec4b1812085839484 | ConstantModelValue | FiniteSetsCardinality | CanNotBeCase |
e8ac5707f3af4073932959817f9cbe223f8b58ae | ConstantModelValue | SeqHead | CanNotBeCase |
c29fecca0171089f13a6a2a77d5aa7c8a95aab98 | ConstantModelValue | SeqHead | CanNotBeCase |
ac4f6dc0ae44dfc8a81df648cd5a980cfd826d87 | ConstantModelValue | SeqTail | CanNotBeCase |
bf86411d7ddad61a6c53b052b9db020e2a06ecea | ConstantModelValue | SeqTail | CanNotBeCase |
6684602e12b8710b1b0c3748033b5b23a086bcc5 | ConstantModelValue | SeqAppend | CanNotBeCase |
e9dcb3455618054fb9faab91bf0760bdc700f642 | ConstantModelValue | SeqAppend | CanNotBeCase |