loadpetrinet.description

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

import java.io.*;
import java.awt.*;

public class LoadPetriNet {

    public LoadPetriNet()

    public boolean setFile(String file) throws IOException
    public void closeFile() throws IOException

    public pn loadNewNet()
    public void loadNet(pn PetNet)

}