Package jason.asSemantics
Class Option
java.lang.Object
jason.asSemantics.Option
- All Implemented Interfaces:
ToDOM
,java.io.Serializable
public class Option extends java.lang.Object implements java.io.Serializable, ToDOM
An Option is a Plan and the Unifier that has made it relevant and applicable
- See Also:
- Serialized Form
-
Field Summary
Fields Modifier and Type Field Description private Plan
plan
private static long
serialVersionUID
private Unifier
unif
-
Constructor Summary
-
Method Summary
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Field Details
-
serialVersionUID
private static final long serialVersionUID- See Also:
- Constant Field Values
-
plan
-
unif
-
-
Constructor Details
-
Option
-
-
Method Details
-
clone
public java.lang.Object clone()- Overrides:
clone
in classjava.lang.Object
-
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-
setPlan
-
getPlan
-
setUnifier
-
getUnifier
-
getAsDOM
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)get as XML
-