savepetrinet.description

来自「petrinets小程序」· DESCRIPTION 代码 · 共 14 行

import java.io.*;

public class SavePetriNet {

    public SavePetriNet()

    public void setFile(String file) throws IOException
    public void deleteFile() throws IOException
    public void saveNet(pn PetNet)

}