dummy function for projection variable addition

arijitsh · arijitsh · commit 27ca48d35e97 · 2024-11-13T18:21:00.000-05:00
diff --git a/lib/Sat/ApxMC.cpp b/lib/Sat/ApxMC.cpp
@@ -180,6 +180,11 @@ uint8_t ApxMC::modelValue(uint32_t x) const
   return true;
 }
 
+uint32_t ApxMC::newProjVar()
+{
+  return 42;
+}
+
 uint32_t ApxMC::newVar()
 {
   arjun->new_var();

Original file line number	Diff line number	Diff line change
`@@ -180,6 +180,11 @@ uint8_t ApxMC::modelValue(uint32_t x) const`
`180`	`180`	`return true;`
`181`	`181`	`}`
`182`	`182`
	`183`	`+uint32_t ApxMC::newProjVar()`
	`184`	`+{`
	`185`	`+ return 42;`
	`186`	`+}`
	`187`	`+`
`183`	`188`	`uint32_t ApxMC::newVar()`
`184`	`189`	`{`
`185`	`190`	`arjun->new_var();`