equal
deleted
inserted
replaced
296 |
296 |
297 SimulatorPrivate *Simulator::m_priv = 0; |
297 SimulatorPrivate *Simulator::m_priv = 0; |
298 |
298 |
299 void Simulator::SetLinkedList (void) |
299 void Simulator::SetLinkedList (void) |
300 { |
300 { |
301 Bind ("scheduler", "list"); |
301 Bind ("Scheduler", "List"); |
302 } |
302 } |
303 void Simulator::SetBinaryHeap (void) |
303 void Simulator::SetBinaryHeap (void) |
304 { |
304 { |
305 Bind ("scheduler", "BinaryHeap"); |
305 Bind ("Scheduler", "BinaryHeap"); |
306 } |
306 } |
307 void Simulator::SetStdMap (void) |
307 void Simulator::SetStdMap (void) |
308 { |
308 { |
309 Bind ("scheduler", "map"); |
309 Bind ("Scheduler", "Map"); |
310 } |
310 } |
311 void |
311 void |
312 Simulator::SetExternal (const std::string &external) |
312 Simulator::SetExternal (const std::string &external) |
313 { |
313 { |
314 Bind ("scheduler", external); |
314 Bind ("Scheduler", external); |
315 } |
315 } |
316 void Simulator::EnableLogTo (char const *filename) |
316 void Simulator::EnableLogTo (char const *filename) |
317 { |
317 { |
318 GetPriv ()->EnableLogTo (filename); |
318 GetPriv ()->EnableLogTo (filename); |
319 } |
319 } |