basic::options::OptionKeys::batch_relax Namespace Reference

Functions
BooleanOptionKey const	batch_relax ("batch_relax")
IntegerOptionKey const	batch_size ("batch_relax:batch_size")

Variables
BooleanOptionKey const	batch_relax
IntegerOptionKey const	batch_size

Function Documentation

BooleanOptionKey const basic::options::OptionKeys::batch_relax::batch_relax

(

"batch_relax"

)

IntegerOptionKey const basic::options::OptionKeys::batch_relax::batch_size

(

"batch_relax:batch_size"

)

Variable Documentation

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

Referenced by add_rosetta_options_1().

IntegerOptionKey const basic::options::OptionKeys::batch_relax::batch_size("batch_relax:batch_size")

Referenced by add_rosetta_options_1().