GraphThreadPoolExecutor.java | 28 private DynamicGraph<T> m_graph; field in class:GraphThreadPoolExecutor 40 m_graph = graph; 43 if (m_graph.getFreeNodes().isEmpty()) { 49 synchronized(m_graph) { 51 m_dotFiles.add(m_graph.toDot()); 53 List<T> freeNodes = m_graph.getFreeNodes(); 84 synchronized(m_graph) { 86 m_graph.setStatus(m, status); 95 synchronized(m_graph) { 96 ppp("Node count:" + m_graph.getNodeCount() + " and [all...] |