Factor: improve factor multiplication

Pass the argument as reference-to-const and also allow chaining of multiplications.
This commit is contained in:
Tiago Gomes
2013-03-21 21:49:12 +00:00
parent 6da2580c8f
commit a2e54a235a
4 changed files with 11 additions and 8 deletions

View File

@@ -30,7 +30,7 @@ class Factor : public GenericFactor<VarId> {
void sumOutAllExceptIndex (size_t idx);
void multiply (Factor&);
Factor& multiply (const Factor&);
std::string getLabel() const;