Uses of Interface
edu.mit.csail.sdg.alloy4.Computer

Packages that use Computer

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4viz	This package displays Alloy4 instances.

Uses of Computer in edu.mit.csail.sdg.alloy4

Constructors in edu.mit.csail.sdg.alloy4 with parameters of type Computer

OurConsole(Computer computer, boolean syntaxHighlighting, java.lang.Object... initialMessages)
Construct a JScrollPane that allows the user to interactively type in commands and see replies.

Uses of Computer in edu.mit.csail.sdg.alloy4viz

Constructors in edu.mit.csail.sdg.alloy4viz with parameters of type Computer

VizGUI(boolean standalone, java.lang.String xmlFileName, javax.swing.JMenu windowmenu, Computer enumerator, Computer evaluator)
Creates a new visualization GUI window; this method can only be called by the AWT event thread.

VizGUI(boolean standalone, java.lang.String xmlFileName, javax.swing.JMenu windowmenu, Computer enumerator, Computer evaluator, boolean makeWindow)
Creates a new visualization GUI window; this method can only be called by the AWT event thread.