basic::options::OptionKeys::PCS Namespace Reference

Variables
BooleanOptionKey const	PCS
FileOptionKey const	write_extra
IntegerOptionKey const	normalization_id

Variable Documentation

normalization_id

IntegerOptionKey const basic::options::OptionKeys::PCS::normalization_id

extern

PCS

BooleanOptionKey const basic::options::OptionKeys::PCS::PCS

extern

write_extra

FileOptionKey const basic::options::OptionKeys::PCS::write_extra

extern