basic::options::OptionKeys::TailSegment Namespace Reference

Variables
BooleanOptionKey const	TailSegment
IntegerOptionKey const	refine_cycles
IntegerOptionKey const	refine_repack_cycles

Variable Documentation

IntegerOptionKey const basic::options::OptionKeys::TailSegment::refine_cycles

Referenced by add_rosetta_options_14().

IntegerOptionKey const basic::options::OptionKeys::TailSegment::refine_repack_cycles

Referenced by add_rosetta_options_14().

BooleanOptionKey const basic::options::OptionKeys::TailSegment::TailSegment

Referenced by add_rosetta_options_14().