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

typedef PassAsMaps<Literals::LitIntOccString> PartialAssignments::PassAsMaps_LitIntOccString

Definition at line 141 of file PartialAssignments.hpp.