CycloBranch
|
The representation of a summary formula. More...
Go to the source code of this file.
Classes | |
class | cSummaryFormula |
The representation of a summary formula. More... | |
Functions | |
void | reduceMapToStringFormula (map< string, int > &atoms, string &formula) |
Reduce a map of atoms to a string. More... | |
void | addStringFormulaToMap (string &formula, map< string, int > &atoms) |
Explode and add a summary formula string to a map. More... | |
void | mergeMaps (map< string, int > &source, map< string, int > &target) |
Merge two maps of atoms into a target map. More... | |
void | rechargeMap (int charge, map< string, int > &atoms) |
Change the charge from 1+ to another charge in a map. More... | |
The representation of a summary formula.
void addStringFormulaToMap | ( | string & | formula, |
map< string, int > & | atoms | ||
) |
Explode and add a summary formula string to a map.
formula | an input string formula |
atoms | an input/output map of atoms |
void mergeMaps | ( | map< string, int > & | source, |
map< string, int > & | target | ||
) |
Merge two maps of atoms into a target map.
source | a source map |
target | a target map |
void rechargeMap | ( | int | charge, |
map< string, int > & | atoms | ||
) |
Change the charge from 1+ to another charge in a map.
charge | new charge |
atoms | an input/output map of atoms |
void reduceMapToStringFormula | ( | map< string, int > & | atoms, |
string & | formula | ||
) |
Reduce a map of atoms to a string.
atoms | an input map of atoms |
formula | an output string formula |