Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
 //----------------------------------------------------------------------------
 // Copyright (C) 2003  Rafael H. Bordini, Jomi F. Hubner, et al.
 // 
 // This library is free software; you can redistribute it and/or
 // modify it under the terms of the GNU Lesser General Public
 // License as published by the Free Software Foundation; either
 // version 2.1 of the License, or (at your option) any later version.
 // 
 // This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
// Lesser General Public License for more details.
// 
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
// 
// To contact the authors:
// http://www.inf.ufrgs.br/~bordini
// http://www.das.ufsc.br/~jomi
//
//
//----------------------------------------------------------------------------
package jason.asSemantics;
An Option is a Plan and the Unifier that has made it relevant and applicable
public class Option implements Serializable {
    private static final long serialVersionUID = 1L;
    private Plan    plan;
    private Unifier unif;
    public Option(Plan pUnifier u) {
         = p;
         = u;
    }
    public Object clone() {
        return new Option((Plan.clone(), (Unifier.clone());
    }
    public String toString() {
        return "(" +  + "," +  + ")";
    }
    public void setPlan(Plan p) {
         = p;
    }
    public Plan getPlan() {
        return ;
    }
    public void setUnifier(Unifier u) {
         = u;
    }
    public Unifier getUnifier() {
        return ;
    }

    
get as XML
    public Element getAsDOM(Document document) {
        Element op = (Elementdocument.createElement("option");
        if ( != null) {
            op.appendChild(.getAsDOM(document));
        }
        if ( != null) {
            op.appendChild(.getAsDOM(document));
        }
        return op;
    }
New to GrepCode? Check out our FAQ X