weight.java

petrinets小程序

public class weight {
	protected int[] weight;
	protected String weightStr = "";
	
	public weight(){
		weight = new int[100];
		for(int i = 0; i < weight.length; i++){
			weight[i] = 0;
		}
	}
	
	public weight(int[] w){
		weight = new int[w.length];
		for(int i = 0; i < weight.length; i++){
			weight[i] = w[i];
		}
	}
	
/*	public weight(jpn JPN){
		for(int i = 0; i < JPN.numberOfEdges(); i++){
			weight[i] = JPN.getEdge(i).getWeight();
		}
	}
*/	
	public weight(pn PN){
		this.weight = new int[PN.numberOfEdges()];
		for(int i = 0; i < PN.numberOfEdges(); i++)
			weight[i] = PN.getEdge(i).getWeight();
	}
	
	public int[] getWeight(){
		return this.weight;
	}
	
	public void setWeightStr(pn PN){
		for(int i = 0; i < PN.numberOfEdges(); i++)
		weightStr += " " + PN.getEdge(i).getWeight();
	}
	
	public String getWeightStr(pn PN){
		return weightStr;
	}

}