Added a total fact count to the SASDecl

Author: kris701

Models/SAS/SASDecl.cs

@@ -9,6 +9,8 @@ public class SASDecl
         public HashSet<Fact> Goal;
         public HashSet<Fact> Init;
 
+        public int Facts;
+
         private Dictionary<int, Operator> _operatorDict;
         private Dictionary<int, Fact> _factDict;
 
@@ -46,6 +48,8 @@ public SASDecl(HashSet<string> domainVariables, List<Operator> operators, HashSe
                     _factDict.Add(del.ID, del);
                 }
             }
+
+            Facts = _factDict.Keys.Count;
         }
 
         public SASDecl() : this(new HashSet<string>(), new List<Operator>(), new HashSet<Fact>(), new HashSet<Fact>())

PDDLSharp/PDDLSharp.csproj

@@ -15,7 +15,7 @@
 
 	<PropertyGroup>
 		<PackageLicenseFile>LICENSE.txt</PackageLicenseFile>
-		<Version>1.6.7</Version>
+		<Version>1.6.8</Version>
 	</PropertyGroup>
 
 	<PropertyGroup>