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

Variables
BooleanOptionKey const	TailSegment
IntegerOptionKey const	refine_cycles
IntegerOptionKey const	refine_repack_cycles

Variable Documentation

refine_cycles

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

extern

refine_repack_cycles

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

extern

TailSegment

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

extern