Package jason.asSemantics

Class Option

java.lang.Object

jason.asSemantics.Option

All Implemented Interfaces:

ToDOM, Serializable

public class Option
extends Object
implements Serializable, ToDOM

An Option is a Plan and the Unifier that has made it relevant and applicable

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
Option(Plan p, Unifier u)
Option(Plan p, Unifier u, Event e)

Method Summary

Modifier and Type	Method	Description
Object	clone()
Element	getAsDOM(Document document)	get as XML
Event	getEvt()
Plan	getPlan()
Unifier	getUnifier()
void	setPlan(Plan p)
void	setUnifier(Unifier u)
String	toString()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Option

public Option(Plan p,
 Unifier u)

Option

public Option(Plan p,
 Unifier u,
 Event e)

Method Details

clone

public Object clone()

Overrides:

clone in class Object

toString

public String toString()

Overrides:

toString in class Object

setPlan

public void setPlan(Plan p)

getPlan

public Plan getPlan()

setUnifier

public void setUnifier(Unifier u)

getUnifier

public Unifier getUnifier()

getEvt

public Event getEvt()

getAsDOM

public Element getAsDOM(Document document)

get as XML

Specified by:

getAsDOM in interface ToDOM