pub_relax.h File Reference Detailed Descriptionpublic methods for relaxation handlers Definition in file pub_relax.h. Go to the source code of this file.
Function Documentation
compares two relaxation handlers w. r. to their priority
comparison method for sorting relaxators w.r.t. to their name
gets user data of relaxation handler
sets user data of relaxation handler; user has to free old data in advance!
gets name of relaxation handler
gets description of relaxation handler
gets priority of relaxation handler
gets frequency of relaxation handler
gets time in seconds used in this relaxator for setting up for next stages
gets time in seconds used in this relaxation handler
gets the total number of times, the relaxation handler was called
is relaxation handler initialized?
marks the current relaxation unsolved, s.t. the relaxation handler is called again in the next solving round
|