Logo Search packages:      
Sourcecode: packup version File versions  Download package

virtual bool ExternalWrapper::register_weight ( XLINT  weight ) [inline, virtual]

This is used to produce single clauses from one clauses that resulted from summing up some of the weights. This occurs when the same clause appears in multiple sometimes in the optimization function. Summing the weights complicates the lexicographic algorithm for optimization.

weightthis weight is being singled out.
weight was actually inserted

Implements SolverWrapper< BasicClause * >.

Definition at line 46 of file ExternalWrapper.hh.

        std::pair<WeightSet::const_iterator, bool> r = weights.insert(weight);
        return r.second;

Generated by  Doxygen 1.6.0   Back to index