public class Option
extends java.lang.Object
implements java.io.Serializable
public java.lang.Object clone()
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public void setPlan(Plan p)
public Plan getPlan()
public void setUnifier(Unifier u)
public Unifier getUnifier()
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)