g2d.util
Class Sal

java.lang.Object
  g2d.util.Sal

public class Sal
extends Object

Constructor Summary

Sal(Frame frame)

Method Summary

String[]	askSal(String pfFile, String modelChecker, String formula)
void	setSalPath(String path)
void	setWorkingDir(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(Frame frame)

Method Detail

setSalPath

public void setSalPath(String path)

setWorkingDir

public void setWorkingDir(String pwd)

askSal

public String[] askSal(String pfFile,
                       String modelChecker,
                       String formula)