Project

General

Profile

« Previous | Next » 

Revision 6b7a66a8

ID6b7a66a86520e4221cf4eab7927d95cc75b27fe1
Parent f1eb4f7c
Child e412454f

Added by Hans-Peter Deifel about 2 months ago

Cache maximum priority of all nodes in graph

So it doesn't have to be recomputed for each propagation.

Unfortunately this optimization doesn't seem to make a difference for
the formulas I tested, but it doesn't hurt either.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences