Move template definitions to source file and use explicite template instantiation.

packages/CLPBN/horus/ProbFormula.h

@@ -63,6 +63,7 @@ class ProbFormula {
     static PrvGroup getNewGroup();
 
   private:
+
     friend bool operator== (
         const ProbFormula& f1, const ProbFormula& f2);
 
@@ -80,6 +81,14 @@ class ProbFormula {
 typedef std::vector<ProbFormula> ProbFormulas;
 
 
+inline bool
+operator== (const ProbFormula& f1, const ProbFormula& f2)
+{
+  return f1.group_ == f2.group_ && f1.logVars_ == f2.logVars_;
+}
+
+
+
 class ObservedFormula {
   public:
     ObservedFormula (Symbol f, unsigned a, unsigned ev);