HomeSort by relevance Sort by last modified time
    Searched refs:getSolver (Results 1 - 4 of 4) sorted by null

  /external/llvm/include/llvm/CodeGen/PBQP/Heuristics/
Briggs.h 127 if (getSolver().getSolverDegree(nItr) < 3) {
161 LinkDegreeComparator(getSolver()));
165 getSolver().pushToStack(nItr);
170 SpillCostComparator(getSolver()));
174 getSolver().pushToStack(nItr);
298 return getSolver().getHeuristicNodeData(nItr);
302 return getSolver().getHeuristicEdgeData(eItr);
431 for (SolverEdgeItr aeItr = getSolver().solverEdgesBegin(nItr),
432 aeEnd = getSolver().solverEdgesEnd(nItr);
447 for (SolverEdgeItr aeItr = getSolver().solverEdgesBegin(xnItr)
    [all...]
  /external/llvm/include/llvm/CodeGen/PBQP/
HeuristicBase.h 82 HeuristicSolverImpl<HImpl>& getSolver() { return s; }
178 getSolver().recordRN();
  /external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/
org.sat4j.core_2.2.0.v20100429.jar 
org.sat4j.pb_2.2.0.v20100429.jar 

Completed in 256 milliseconds