Searched refs:AbstractLatticeFunction (Results 1 – 2 of 2) sorted by relevance
45 template <class LatticeKey, class LatticeVal> class AbstractLatticeFunction {50 AbstractLatticeFunction(LatticeVal undefVal, LatticeVal overdefinedVal, in AbstractLatticeFunction() function57 virtual ~AbstractLatticeFunction() = default;115 AbstractLatticeFunction<LatticeKey, LatticeVal> *LatticeFunc;137 AbstractLatticeFunction<LatticeKey, LatticeVal> *Lattice) in SparseSolver()204 void AbstractLatticeFunction<LatticeKey, LatticeVal>::PrintLatticeVal( in PrintLatticeVal()217 void AbstractLatticeFunction<LatticeKey, LatticeVal>::PrintLatticeKey( in PrintLatticeKey()
116 : public AbstractLatticeFunction<CVPLatticeKey, CVPLatticeVal> {119 : AbstractLatticeFunction(CVPLatticeVal(CVPLatticeVal::Undefined), in CVPLatticeFunc()