![]() |
Rosetta
3.7
|
Functions | |
BooleanOptionKey const | checkpoint ("ms:checkpoint") |
StringOptionKey const | prefix ("ms:checkpoint:prefix") |
IntegerOptionKey const | interval ("ms:checkpoint:interval") |
BooleanOptionKey const | gz ("ms:checkpoint:gz") |
BooleanOptionKey const | rename ("ms:checkpoint:rename") |
BooleanOptionKey const ms::checkpoint::checkpoint | ( | "ms:checkpoint" | ) |
BooleanOptionKey const ms::checkpoint::gz | ( | "ms:checkpoint:gz" | ) |
Referenced by sequence_tolerance_main().
IntegerOptionKey const ms::checkpoint::interval | ( | "ms:checkpoint:interval" | ) |
Referenced by sequence_tolerance_main().
StringOptionKey const ms::checkpoint::prefix | ( | "ms:checkpoint:prefix" | ) |
Referenced by sequence_tolerance_main().
BooleanOptionKey const ms::checkpoint::rename | ( | "ms:checkpoint:rename" | ) |
Referenced by sequence_tolerance_main().