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

Variables
BooleanOptionKey const	archive
BooleanOptionKey const	reread_all_structures
IntegerOptionKey const	completion_notify_frequency

Variable Documentation

archive

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

extern

Referenced by run().

completion_notify_frequency

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

extern

reread_all_structures

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

extern