/* ========================================== * JGraphT : a free Java graph-theory library * ========================================== * * Project Info: http://jgrapht.sourceforge.net/ * Project Creator: Barak Naveh (http://sourceforge.net/users/barak_naveh) * * (C) Copyright 2003-2008, by Barak Naveh and Contributors. * * This program and the accompanying materials are dual-licensed under * either * * (a) the terms of the GNU Lesser General Public License version 2.1 * as published by the Free Software Foundation, or (at your option) any * later version. * * or (per the licensee's choosing) * * (b) the terms of the Eclipse Public License v1.0 as published by * the Eclipse Foundation. */ /* ------------------------- * Picture1Graph.java * ------------------------- * (C) Copyright 2007-2008, by France Telecom * * Original Author: Guillaume Boulmier and Contributors. * * $Id$ * * Changes * ------- * 05-Jun-2007 : Initial revision (GB); * */ package org.jgrapht.alg; import org.jgrapht.graph.*; /** * <img src="./Picture1.jpg"> * * @author Guillaume Boulmier * @since July 5, 2007 */ @SuppressWarnings("unchecked") public class Picture1Graph extends SimpleDirectedWeightedGraph { //~ Static fields/initializers --------------------------------------------- /** */ private static final long serialVersionUID = 5587737522611531029L; //~ Instance fields -------------------------------------------------------- public Object e15; public Object e25; public Object e27; public Object e37; public Object e47; public Object e56; public Object e57; public Object e67; public Object eS1; public Object eS2; public Object eS3; public Object eS4; public Object eS7; //~ Constructors ----------------------------------------------------------- /** * <img src="./Picture1.jpg"> */ public Picture1Graph() { super(DefaultWeightedEdge.class); addVertices(); addEdges(); } //~ Methods ---------------------------------------------------------------- private void addEdges() { this.eS1 = this.addEdge("vS", "v1"); this.eS2 = this.addEdge("vS", "v2"); this.eS3 = this.addEdge("vS", "v3"); this.eS4 = this.addEdge("vS", "v4"); this.eS7 = this.addEdge("vS", "v7"); this.e15 = this.addEdge("v1", "v5"); this.e25 = this.addEdge("v2", "v5"); this.e27 = this.addEdge("v2", "v7"); this.e37 = this.addEdge("v3", "v7"); this.e47 = this.addEdge("v4", "v7"); this.e56 = this.addEdge("v5", "v6"); this.e57 = this.addEdge("v5", "v7"); this.e67 = this.addEdge("v6", "v7"); setEdgeWeight(this.eS1, 3.0); setEdgeWeight(this.eS2, 2.0); setEdgeWeight(this.eS3, 10.0); setEdgeWeight(this.eS4, 15.0); setEdgeWeight(this.eS7, 15.0); setEdgeWeight(this.e15, 3.0); setEdgeWeight(this.e25, 6.0); setEdgeWeight(this.e27, 10.0); setEdgeWeight(this.e37, 20.0); setEdgeWeight(this.e47, 5.0); setEdgeWeight(this.e56, -3.0); setEdgeWeight(this.e57, 4.0); setEdgeWeight(this.e67, 5.0); } private void addVertices() { addVertex("vS"); addVertex("v1"); addVertex("v2"); addVertex("v3"); addVertex("v4"); addVertex("v5"); addVertex("v6"); addVertex("v7"); } } // End Picture1Graph.java