jason.asSyntax.Term Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jason Show documentation

Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.

There is a newer version: 2.3

Show newest version

package jason.asSyntax;

import jason.asSemantics.Unifier;
import jason.util.ToDOM;

import java.io.Serializable;
import java.util.Map;

/**
 * Common interface for all kind of terms
 * 
 * @opt nodefillcolor lightgoldenrodyellow
 */
public interface Term extends Cloneable, Comparable, Serializable, ToDOM {

    public boolean isVar();
    public boolean isUnnamedVar();
    public boolean isLiteral();
    public boolean isRule();
    public boolean isList();
    public boolean isString();
    public boolean isInternalAction();
    public boolean isArithExpr();
    public boolean isNumeric();
    public boolean isPred();
    public boolean isGround();
    public boolean isStructure();
    public boolean isAtom();
    public boolean isPlanBody();
    public boolean isCyclicTerm();

    public boolean hasVar(VarTerm t, Unifier u);
    public VarTerm getCyclicVar();
    
    public void countVars(Map c);

    public Term clone();

    public boolean equals(Object o);
    
    public boolean subsumes(Term l); 

    /** replaces variables by their values in the unifier, returns true if some variable was applied */
    public boolean apply(Unifier u);

    /** Removes the value cached for hashCode */
    //public void resetHashCodeCache();

    public void setSrcInfo(SourceInfo s);
    public SourceInfo getSrcInfo();
}