refactor ProbFormula comparation operator
This commit is contained in:
parent
03f9df7dc3
commit
90e139f8f3
@ -100,8 +100,8 @@ ProbFormula::rename (LogVar oldName, LogVar newName)
|
|||||||
|
|
||||||
bool operator== (const ProbFormula& f1, const ProbFormula& f2)
|
bool operator== (const ProbFormula& f1, const ProbFormula& f2)
|
||||||
{
|
{
|
||||||
return f1.group_ == f2.group_;
|
return f1.group_ == f2.group_ &&
|
||||||
//return functor_ == f.functor_ && logVars_ == f.logVars_ ;
|
f1.logVars_ == f2.logVars_;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@ -7,7 +7,7 @@
|
|||||||
#include "LiftedUtils.h"
|
#include "LiftedUtils.h"
|
||||||
#include "Horus.h"
|
#include "Horus.h"
|
||||||
|
|
||||||
|
typedef unsigned PrvGroup;
|
||||||
|
|
||||||
class ProbFormula
|
class ProbFormula
|
||||||
{
|
{
|
||||||
|
Reference in New Issue
Block a user