basic::options::OptionKeys::archive Namespace Reference

Functions
BooleanOptionKey const	archive ("archive")
BooleanOptionKey const	reread_all_structures ("archive:reread_all_structures")
IntegerOptionKey const	completion_notify_frequency ("archive:completion_notify_frequency")

Variables
BooleanOptionKey const	archive
BooleanOptionKey const	reread_all_structures
IntegerOptionKey const	completion_notify_frequency

Function Documentation

BooleanOptionKey const basic::options::OptionKeys::archive::archive

(

"archive"

)

IntegerOptionKey const basic::options::OptionKeys::archive::completion_notify_frequency

(

"archive:completion_notify_frequency"

)

BooleanOptionKey const basic::options::OptionKeys::archive::reread_all_structures

(

"archive:reread_all_structures"

)

Variable Documentation

BooleanOptionKey const basic::options::OptionKeys::archive::archive("archive")

Referenced by add_rosetta_options_0().

IntegerOptionKey const basic::options::OptionKeys::archive::completion_notify_frequency("archive:completion_notify_frequency")

Referenced by add_rosetta_options_0().

BooleanOptionKey const basic::options::OptionKeys::archive::reread_all_structures("archive:reread_all_structures")

Referenced by add_rosetta_options_0().