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

Functions
BooleanOptionKey const	krassk ("krassk")
IntegerOptionKey const	left_tail ("krassk:left_tail")
IntegerOptionKey const	right_tail ("krassk:right_tail")
BooleanOptionKey const	tail_mode ("krassk:tail_mode")
IntegerOptionKey const	tail_mode_name ("krassk:tail_mode_name")
StringOptionKey const	tail_output_file_name ("krassk:tail_output_file_name")

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

Function Documentation

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

(

"krassk"

)

IntegerOptionKey const basic::options::OptionKeys::krassk::left_tail

(

"krassk:left_tail"

)

IntegerOptionKey const basic::options::OptionKeys::krassk::right_tail

(

"krassk:right_tail"

)

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

(

"krassk:tail_mode"

)

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

(

"krassk:tail_mode_name"

)

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

(

"krassk:tail_output_file_name"

)

Variable Documentation

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

Referenced by add_rosetta_options_1().

IntegerOptionKey const basic::options::OptionKeys::krassk::left_tail("krassk:left_tail")

Referenced by add_rosetta_options_1().

IntegerOptionKey const basic::options::OptionKeys::krassk::right_tail("krassk:right_tail")

Referenced by add_rosetta_options_1().

BooleanOptionKey const basic::options::OptionKeys::krassk::tail_mode("krassk:tail_mode")

Referenced by add_rosetta_options_1().

IntegerOptionKey const basic::options::OptionKeys::krassk::tail_mode_name("krassk:tail_mode_name")

Referenced by add_rosetta_options_1().

StringOptionKey const basic::options::OptionKeys::krassk::tail_output_file_name("krassk:tail_output_file_name")

Referenced by add_rosetta_options_1().