trans             332 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/VecPr/Vertex.java 	public void trans(double tx, double ty, double tz) {
trans             355 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/VecPr/Vertex.java 	public void trans(Vertex v) {