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

Variables
BooleanOptionKey const	batch_relax
IntegerOptionKey const	batch_size

Variable Documentation

batch_relax

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

extern

batch_size

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

extern

Referenced by main().