From 0898143b89db5a5ed4df2bd6c07227dd9818700a Mon Sep 17 00:00:00 2001
From: ozgurakgun <ozgurakgun@gmail.com>
Date: Wed, 1 May 2024 08:34:12 +0000
Subject: [PATCH] =?UTF-8?q?Actions:=20Deploy=20the=20essence=20features=20?=
 =?UTF-8?q?usage=20table=20=F0=9F=9A=80?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 tools/essence-feature-usage-stats/data.csv   |  2 +-
 tools/essence-feature-usage-stats/index.html | 12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/tools/essence-feature-usage-stats/data.csv b/tools/essence-feature-usage-stats/data.csv
index 9b4d95a52..b973a50b4 100755
--- a/tools/essence-feature-usage-stats/data.csv
+++ b/tools/essence-feature-usage-stats/data.csv
@@ -1,4 +1,4 @@
-EssenceFile,LOC,Repo,TagInt,ConstantInt,Constant,Reference,DomainInt,RangeBounded,FindOrGiven,Single,AbstractLiteral,Generator,AbsLitMatrix,Comprehension,MkOpSum,SuchThat,SizeAttr_None,MkOpAnd,MkOpEq,DomainReference,DomainSet,GenInExpr,MkOpIndexing,SizeAttr_Size,GenDomainNoRepr,Letting,MkOpImage,DomainMSet,DomainBool,MkOpTwoBars,DomainFunction,Domain,ConstantAbstract,OccurAttr_None,SizeAttr_MaxSize,MkOpLeq,DomainTuple,OccurAttr_MaxOccur,RangeLowerBounded,DomainEnum,DomainRelation,MkOpGeq,AbsLitTuple,MkOpMinus,RangeSingle,AbsPatTuple,DomainMatrix,ConstantBool,AbsLitSet,MkOpProduct,Condition,isRegular,DomainPartition,partsNum,partsSize,MkOpIn,MkOpImply,MkOpNegate,MkOpRelationProj,MkOpParts,SizeAttr_MinMaxSize,MkOpToInt,SizeAttr_MinSize,MkOpMod,MkOpNot,MkOpNeq,LettingDomainDefnEnum,DomainSequence,MkOpFreq,MkOpDefined,MkOpMax,MkOpOr,MkOpLt,Objective,MkOpMin,GivenDomainDefnEnum,MkOpDiv,Where,MkOpGt,LettingDomainDefnUnnamed,MkOpLexLeq,AbsLitFunction,MkOpAttributeAsConstraint,DomainRecord,MkOpPow,MkOpActive,MkOpToSet,MkOpAllDiff,MkOpTransform,MkOpRange,ComprehensionLetting,MkOpRestrict,AbsLitSequence,OccurAttr_MinMaxOccur,MkOpIntersect,AbsLitPartition,MkOpPowerSet,AbsLitMSet,MkOpDotLt,DomainVariant,MkOpPreImage,MkOpSlicing,AbsPatSet,MkOpSubsetEq,MkOpIff,MkOpFlatten,SearchHeuristic,BranchingOn,TypeInt,AbsLitRecord,MkOpPred,SearchOrder,MkOpApart,MkOpFactorial,MkOpTogether,MkOpTildeLt,MkOpSubstring,MkOpSubsequence,MkOpSucc,DomainIntE,MkOpParticipants,Typed,MkOpToMSet,MkOpAllDiffExcept,AbsLitVariant,MkOpParty,MkOpHist,TagEnum,MkOpUnion,Cut,TypeMatrix,RangeUpperBounded,MkOpImageSet,TypeBool,MkOpTrue,TypeFunction,MkOpCatchUndef,AbsLitRelation,MkOpSubset,MkOpInverse,MkOpXor,WithLocals,DefinednessConstraints,TypeSet,MkOpAtLeast,MkOpAtMost,RangeOpen,OccurAttr_MinOccur,MkOpLexLt,MkOpSupset,MkOpToRelation,MkOpSupsetEq
+EssenceFile,LOC,Repo,TagInt,ConstantInt,Constant,Reference,DomainInt,RangeBounded,FindOrGiven,Single,AbstractLiteral,Generator,AbsLitMatrix,Comprehension,MkOpSum,SuchThat,SizeAttr_None,MkOpAnd,MkOpEq,DomainReference,DomainSet,GenInExpr,MkOpIndexing,SizeAttr_Size,GenDomainNoRepr,Letting,MkOpImage,DomainMSet,DomainBool,MkOpTwoBars,DomainFunction,Domain,ConstantAbstract,OccurAttr_None,SizeAttr_MaxSize,MkOpLeq,DomainTuple,OccurAttr_MaxOccur,RangeLowerBounded,DomainEnum,DomainRelation,MkOpGeq,AbsLitTuple,MkOpMinus,RangeSingle,AbsPatTuple,DomainMatrix,ConstantBool,AbsLitSet,MkOpProduct,Condition,partsNum,partsSize,isRegular,DomainPartition,MkOpIn,MkOpImply,MkOpNegate,MkOpRelationProj,MkOpParts,SizeAttr_MinMaxSize,MkOpToInt,SizeAttr_MinSize,MkOpMod,MkOpNot,MkOpNeq,LettingDomainDefnEnum,DomainSequence,MkOpFreq,MkOpDefined,MkOpMax,MkOpOr,MkOpLt,Objective,MkOpMin,GivenDomainDefnEnum,MkOpDiv,Where,MkOpGt,LettingDomainDefnUnnamed,MkOpLexLeq,AbsLitFunction,MkOpAttributeAsConstraint,DomainRecord,MkOpPow,MkOpActive,MkOpToSet,MkOpAllDiff,MkOpTransform,MkOpRange,ComprehensionLetting,MkOpRestrict,AbsLitSequence,OccurAttr_MinMaxOccur,MkOpIntersect,AbsLitPartition,MkOpPowerSet,AbsLitMSet,MkOpDotLt,DomainVariant,MkOpPreImage,MkOpSlicing,AbsPatSet,MkOpSubsetEq,MkOpIff,MkOpFlatten,SearchHeuristic,BranchingOn,TypeInt,AbsLitRecord,MkOpPred,SearchOrder,MkOpApart,MkOpFactorial,MkOpTogether,MkOpTildeLt,MkOpSubstring,MkOpSubsequence,MkOpSucc,DomainIntE,MkOpParticipants,Typed,MkOpToMSet,MkOpAllDiffExcept,AbsLitVariant,MkOpParty,MkOpHist,TagEnum,MkOpUnion,Cut,TypeMatrix,RangeUpperBounded,MkOpImageSet,TypeBool,MkOpTrue,TypeFunction,MkOpCatchUndef,AbsLitRelation,MkOpSubset,MkOpInverse,MkOpXor,WithLocals,DefinednessConstraints,TypeSet,MkOpAtLeast,MkOpAtMost,RangeOpen,OccurAttr_MinOccur,MkOpLexLt,MkOpSupset,MkOpToRelation,MkOpSupsetEq
 syntax_test/domains/variant/variant.essence,1,conjure-cp/conjure,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
 syntax_test/domains/record/record.essence,1,conjure-cp/conjure,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
 syntax_test/domains/bool/bool.essence,1,conjure-cp/conjure,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
diff --git a/tools/essence-feature-usage-stats/index.html b/tools/essence-feature-usage-stats/index.html
index 71557a2c0..5b5cc9bba 100755
--- a/tools/essence-feature-usage-stats/index.html
+++ b/tools/essence-feature-usage-stats/index.html
@@ -38,7 +38,7 @@ <h2>How to use this tool</h2>
         <h2>Data</h2>
         <p>Please, use the link bellow to download the data:</p>
         <ul>
-            <li><a href="data.csv">CSV Table</a> (Updated: 30.04.2024 - 15:07)</li>
+            <li><a href="data.csv">CSV Table</a> (Updated: 01.05.2024 - 08:33)</li>
         </ul>
     </section>
     <section>
@@ -153,14 +153,14 @@ <h2>Essence feature table</h2>
         
             <th>Condition</th>
         
-            <th>isRegular</th>
-        
-            <th>DomainPartition</th>
-        
             <th>partsNum</th>
         
             <th>partsSize</th>
         
+            <th>isRegular</th>
+        
+            <th>DomainPartition</th>
+        
             <th>MkOpIn</th>
         
             <th>MkOpImply</th>
@@ -776121,7 +776121,7 @@ <h2>Essence feature table</h2>
     <div id="footer">
         
     <br/>
-    Generated on: 30.04.2024 - 15:07
+    Generated on: 01.05.2024 - 08:33
 
     </div>