1 files changed, 22 insertions, 0 deletions
diff --git a/Source/GPUVerify/InvariantGenerationRules/InvariantGenerationRule.cs b/Source/GPUVerify/InvariantGenerationRules/InvariantGenerationRule.cs
new file mode 100644
index 00000000..1bd66785
--- /dev/null
+++ b/Source/GPUVerify/InvariantGenerationRules/InvariantGenerationRule.cs
@@ -0,0 +1,22 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using System.Text;
+using System.Diagnostics;
+using Microsoft.Boogie;
+
+namespace GPUVerify.InvariantGenerationRules
+{
+    abstract class InvariantGenerationRule
+    {
+        protected GPUVerifier verifier;
+
+        public InvariantGenerationRule(GPUVerifier verifier)
+        {
+            this.verifier = verifier;
+        }
+
+        public abstract void GenerateCandidates(Implementation Impl, WhileCmd wc);
+    }
+
+}