Searched defs:graph (Results 1 - 5 of 5) sorted by relevance

/hets/FreeCAD/BrepConversion/src/
H A Dbrep_to_xml.hxx33 std::vector < std::vector < int > > graph; member in class:BrepToXML
H A Dbrep_to_xml.cxx153 * initializer for the graph matrix
165 graph.push_back(line);
172 * method to build the dependency graph for the shapeset
194 if (!graph[i-1][y-1]) graph[i-1][y-1]++;
201 // graph[i][j] == 1 <=> Shape(i) contains Shape(j)
207 graph[i][i] = 0;
214 if (graph[j][i]) //if i is contained by j
219 if((graph[k][j])&&(graph[
239 cout << graph[i][j] << " "; local
[all...]
/hets/Maude/doc/
H A Ddg.tex8 \subsection{Creating the development graph}
15 graph. The first one contains the theory equipped with the usual
40 graph remains unchanged.
44 $\mathit{ME}_2$ generates a new node in the development graph
59 graph;
127 \subsubsection{Development graph: An example\label{subsubsec:dg_ex}}
129 We illustrate how to build the development graph with an example. Consider
158 \noindent \Hets builds the graph shown in Figure \ref{fig:dg},
191 Once the development graph is built, we can apply the (logic
214 \CASL. In order not to break the development graph calculu
[all...]
/hets/CASL/Termination/
H A DAProVE.jar ... aprove/Framework/Unification/Utility/ aprove/Framework/Utility/ aprove/Framework/Utility/Graph/ aprove/Framework/Utility/Time/ aprove/Framework/Verifier/ aprove/GraphUserInterface/ aprove ...
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 25 milliseconds