Lines Matching defs:graph
8 \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 calculus, we need
216 semantically equivalent development graph in \CASL. The main idea is