g2d.util

Class Sal

java.lang.Object

g2d.util.Sal

public class Sal
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Sal(java.awt.Frame frame)

Method Summary

Modifier and Type	Method and Description
java.lang.String[]	askSal(java.lang.String pfFile, java.lang.String modelChecker, java.lang.String formula)
void	setSalPath(java.lang.String path)
void	setWorkingDir(java.lang.String pwd)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Sal

public Sal(java.awt.Frame frame)

Method Detail

setSalPath

public void setSalPath(java.lang.String path)

setWorkingDir

public void setWorkingDir(java.lang.String pwd)

askSal

public java.lang.String[] askSal(java.lang.String pfFile,
                                 java.lang.String modelChecker,
                                 java.lang.String formula)