Commit c682abc4 authored by Simon de Givry's avatar Simon de Givry
Browse files

[error] VAC::clear cannot use queue clear methods

parent 1a8af031
......@@ -689,13 +689,12 @@ void VACExtension::removeSingleton()
void VACExtension::clear()
{
// while (!VAC.empty())
// VAC.pop();
// if (ToulBar2::vacValueHeuristic)
// while (!SeekSupport.empty())
// SeekSupport.pop();
VAC.clear();
SeekSupport.clear();
// Cannot use VAC.clear() as it will not reset timeStamps which are based on the number of wcsp propagate calls and not VAC iterations
while (!VAC.empty())
VAC.pop();
if (ToulBar2::vacValueHeuristic)
while (!SeekSupport.empty())
SeekSupport.pop();
}
void VACExtension::queueVAC(DLink<VariableWithTimeStamp>* link)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment