クラス
jp.go.ipa.jgcl.JgclEmbeddedGraph.Result の使用

jp.go.ipa.jgcl での JgclEmbeddedGraph.Result の使用
 

JgclEmbeddedGraph.Result を返す jp.go.ipa.jgcl のメソッド
 JgclEmbeddedGraph.Result JgclEmbeddedGraph.makeVertexFace()
          この (空の) グラフに頂点と面を生成する。
 JgclEmbeddedGraph.Result JgclEmbeddedGraph.makeEdgeVertex(JgclEmbeddedGraph.Face face, JgclEmbeddedGraph.Vertex vrtx)
          このグラフに辺と頂点を生成する。
 JgclEmbeddedGraph.Result JgclEmbeddedGraph.makeVertexEdge(JgclEmbeddedGraph.Edge edge)
          このグラフに頂点と辺を生成する。
 JgclEmbeddedGraph.Result JgclEmbeddedGraph.makeEdgeFace(JgclEmbeddedGraph.Face face, JgclEmbeddedGraph.Vertex headVrtx, JgclEmbeddedGraph.Vertex tailVrtx)
          このグラフに辺と面を生成する。
 JgclEmbeddedGraph.Result JgclEmbeddedGraph.makeEdgeFace(JgclEmbeddedGraph.Face face, JgclEmbeddedGraph.Vertex headVrtx, JgclEmbeddedGraph.Vertex tailVrtx, JgclEmbeddedGraph.Edge headEdge, JgclEmbeddedGraph.Edge tailEdge)
          このグラフに辺と面を生成する。