Searched refs:AbstractLatticeFunction (Results 1 – 2 of 2) sorted by relevance
44 class AbstractLatticeFunction {50 AbstractLatticeFunction(LatticeVal undefVal, LatticeVal overdefinedVal, in AbstractLatticeFunction() function56 virtual ~AbstractLatticeFunction();116 typedef AbstractLatticeFunction::LatticeVal LatticeVal;120 AbstractLatticeFunction *LatticeFunc;137 explicit SparseSolver(AbstractLatticeFunction *Lattice) in SparseSolver()
29 AbstractLatticeFunction::~AbstractLatticeFunction() {} in ~AbstractLatticeFunction()32 void AbstractLatticeFunction::PrintValue(LatticeVal V, raw_ostream &OS) { in PrintValue()