org::uppaal::port::ui::preferences::PreferenceConstants Class Reference

List of all members.

Static Public Attributes
static final String	P_BINPATH = "binPath"

---

Detailed Description

Constant definitions for plug-in preferences

---

The documentation for this class was generated from the following file:

• save_port/org.uppaal.port.ui/src/org/uppaal/port/ui/preferences/PreferenceConstants.java