basic::options::OptionKeys::krassk Namespace Reference

Variables
BooleanOptionKey const	krassk
BooleanOptionKey const	tail_mode
IntegerOptionKey const	tail_mode_name
StringOptionKey const	tail_output_file_name

Variable Documentation

BooleanOptionKey const basic::options::OptionKeys::krassk::krassk

Referenced by add_rosetta_options_15().

BooleanOptionKey const basic::options::OptionKeys::krassk::tail_mode

Referenced by add_rosetta_options_15().

IntegerOptionKey const basic::options::OptionKeys::krassk::tail_mode_name

Referenced by add_rosetta_options_15().

StringOptionKey const basic::options::OptionKeys::krassk::tail_output_file_name

Referenced by add_rosetta_options_15().