public final class SymbolicExecutor
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static boolean |
execute(Options options,
java.lang.String modelName,
java.lang.String fileName) |
public static boolean execute(Options options, java.lang.String modelName, java.lang.String fileName)