Jagger
 All Classes Namespaces Files Functions Variables Groups Pages
Implementations of termination strategies