Factor: use the default copy constructor

This commit is contained in:
Tiago Gomes
2013-03-21 21:20:28 +00:00
parent 389daab83f
commit e2ca97c8de
2 changed files with 1 additions and 25 deletions

View File

@@ -16,8 +16,6 @@ class Factor : public GenericFactor<VarId> {
public:
Factor() { }
Factor (const Factor&);
Factor (const VarIds&, const Ranges&, const Params&,
unsigned = Util::maxUnsigned());
@@ -44,10 +42,6 @@ class Factor : public GenericFactor<VarId> {
void sumOutLastVariable();
void sumOutArgs (const std::vector<bool>& mask);
void clone (const Factor& f);
DISALLOW_ASSIGN (Factor);
};
} // namespace Horus