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

    Constructors
    Constructor Description
    Option​(Plan p, Unifier u)  
  • Method Summary

    Modifier and Type Method Description
    java.lang.Object clone()  
    org.w3c.dom.Element getAsDOM​(org.w3c.dom.Document document)
    get as XML
    Plan getPlan()  
    Unifier getUnifier()  
    void setPlan​(Plan p)  
    void setUnifier​(Unifier u)  
    java.lang.String toString()  

    Methods inherited from class java.lang.Object

    equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
  • Field Details

  • Constructor Details

  • Method Details

    • clone

      public java.lang.Object clone()
      Overrides:
      clone in class java.lang.Object
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object
    • setPlan

      public void setPlan​(Plan p)
    • getPlan

      public Plan getPlan()
    • setUnifier

      public void setUnifier​(Unifier u)
    • getUnifier

      public Unifier getUnifier()
    • getAsDOM

      public org.w3c.dom.Element getAsDOM​(org.w3c.dom.Document document)
      get as XML
      Specified by:
      getAsDOM in interface ToDOM