Searched refs:AbstractLatticeFunction (Results 1 – 2 of 2) sorted by relevance
46 template <class LatticeKey, class LatticeVal> class AbstractLatticeFunction {51 AbstractLatticeFunction(LatticeVal undefVal, LatticeVal overdefinedVal, in AbstractLatticeFunction() function58 virtual ~AbstractLatticeFunction() = default;116 AbstractLatticeFunction<LatticeKey, LatticeVal> *LatticeFunc;138 AbstractLatticeFunction<LatticeKey, LatticeVal> *Lattice) in SparseSolver()205 void AbstractLatticeFunction<LatticeKey, LatticeVal>::PrintLatticeVal( in PrintLatticeVal()218 void AbstractLatticeFunction<LatticeKey, LatticeVal>::PrintLatticeKey( in PrintLatticeKey()
115 : public AbstractLatticeFunction<CVPLatticeKey, CVPLatticeVal> {118 : AbstractLatticeFunction(CVPLatticeVal(CVPLatticeVal::Undefined), in CVPLatticeFunc()