Uses of Class
org.sat4j.sat.RemoteControlFrame

Packages that use RemoteControlFrame

Package	Description
org.sat4j.sat	Implementation of a sat4j Launcher.

Uses of RemoteControlFrame in org.sat4j.sat

Constructors in org.sat4j.sat with parameters of type RemoteControlFrame

Constructor and Description
DetailedCommandPanel(String filename, RemoteControlFrame frame)
DetailedCommandPanel(String filename, String ramdisk, RemoteControlFrame frame)
DetailedCommandPanel(String filename, String ramdisk, String[] args, RemoteControlFrame frame)