Function printer_setPauliStrFormat

quest/src/core/printer.cpp:157–166

int global_pauliStrFormatFlag = 0;

void printer_setPauliStrFormat(int flag) {

    /// @todo
    /// this could be changed to an enum, even though the
    /// API will likely always receive an int (for C and
    /// C++ agnosticism and simplicity - I hate polluting
    /// an API with custom types and constants!).

    global_pauliStrFormatFlag = flag;
}