tool/Command.h
changeset 1870 0cee1fb7f0fd
parent 1869 14f634f5b613
child 1968 4f682084c643
child 2010 87de63b19e4c
equal deleted inserted replaced
1869:14f634f5b613 1870:0cee1fb7f0fd
    85         const string &getBriefDescription() const;
    85         const string &getBriefDescription() const;
    86 
    86 
    87         typedef list<unsigned int> MasterIndexList;
    87         typedef list<unsigned int> MasterIndexList;
    88         void setMasters(const string &);
    88         void setMasters(const string &);
    89         MasterIndexList getMasterIndices() const;
    89         MasterIndexList getMasterIndices() const;
       
    90 		unsigned int getSingleMasterIndex() const;
    90 
    91 
    91         enum Verbosity {
    92         enum Verbosity {
    92             Quiet,
    93             Quiet,
    93             Normal,
    94             Normal,
    94             Verbose
    95             Verbose