Uses of Class
org.sat4j.sat.RemoteControlFrame

Packages that use RemoteControlFrame

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

DetailedCommandPanel(String filename, RemoteControlFrame frame)

DetailedCommandPanel(String filename, String ramdisk, RemoteControlFrame frame)

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