Package ru.ispras.microtesk.tools.isa
Class IsaListing
- java.lang.Object
-
- ru.ispras.microtesk.tools.isa.IsaListing
-
public class IsaListing extends java.lang.Object
TheIsaListing
creates a list of a model operations and prints it out.
-
-
Constructor Summary
Constructors Constructor Description IsaListing()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static boolean
createIsaList(Options options, java.lang.String modelName)
-
-
-
Method Detail
-
createIsaList
public static boolean createIsaList(Options options, java.lang.String modelName)
-
-