Searched refs:AbstractLatticeFunction (Results 1 – 2 of 2) sorted by relevance
47 template <class LatticeKey, class LatticeVal> class AbstractLatticeFunction {52 AbstractLatticeFunction(LatticeVal undefVal, LatticeVal overdefinedVal, in AbstractLatticeFunction() function59 virtual ~AbstractLatticeFunction() = default;117 AbstractLatticeFunction<LatticeKey, LatticeVal> *LatticeFunc;139 AbstractLatticeFunction<LatticeKey, LatticeVal> *Lattice) in SparseSolver()206 void AbstractLatticeFunction<LatticeKey, LatticeVal>::PrintLatticeVal( in PrintLatticeVal()219 void AbstractLatticeFunction<LatticeKey, LatticeVal>::PrintLatticeKey( in PrintLatticeKey()
116 : public AbstractLatticeFunction<CVPLatticeKey, CVPLatticeVal> {119 : AbstractLatticeFunction(CVPLatticeVal(CVPLatticeVal::Undefined), in CVPLatticeFunc()