X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FBackend%2Fsatencoder.h;h=827a9041b059922d78607771352bf7b615cd9a34;hp=56be737580859e0e33ae5b52bd5953287a8f2847;hb=e0ee8656d201f77504bd239612969ce43636c324;hpb=23975bc927f2cc13bf215f13ff7ba1dc0c012c01

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 56be737..827a904 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -69,6 +69,7 @@ private:
 	CSolver *solver;
 	BooleanToEdgeMap booledgeMap;
 	VectorEdge *vector;
+        friend class VarOrderingOpt;
 };
 
 void allocElementConstraintVariables(ElementEncoding *ee, uint numVars);