OKlibrary  0.2.1.6
PartialAssignments Namespace Reference

Classes

class  PassViaMap
 PassViaMap<Var, Dom> yields partial assignments, implemented via std::maps. More...
class  PassAsMaps
 PassAsMaps<Literals> yields partial assignments, implemented via std::maps. More...

Typedefs

typedef PassAsMaps
< Literals::LitIntOccString
PassAsMaps_LitIntOccString

Typedef Documentation