Package jason.asSyntax

Class Atom

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

All Implemented Interfaces:

LogicalFormula, Term, ToDOM, ToJson, Serializable, Cloneable, Comparable<Term>

Direct Known Subclasses:

Structure

public class Atom
extends Literal

Represents an atom (a positive literal with no argument and no annotation, e.g. "tell", "a").

See Also:

• Serialized Form

Field Summary

Fields inherited from class jason.asSyntax.Literal

DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache

Fields inherited from class jason.asSyntax.DefaultTerm

hashCodeCache, srcInfo

Constructor Summary

Constructors

Modifier	Constructor	Description
	Atom(Atom namespace, Literal l)
protected	Atom(Atom namespace, String functor)
	Atom(Literal l)
	Atom(Literal l, Unifier u)
	Atom(String functor)

Method Summary

Modifier and Type	Method	Description
protected int	calcHashCode()
Term	capply(Unifier u)	clone and applies together (and faster than clone and then apply)
Term	clone()
Literal	cloneNS(Atom newnamespace)	clone in another namespace
int	compareTo(Term t)
boolean	equals(Object o)
Element	getAsDOM(Document document)	get as XML
String	getFunctor()	returns the functor of this literal
Atom	getNS()	returns the name spaceof this literal
boolean	isAtom()
String	toString()

Methods inherited from class jason.asSyntax.Literal

addAnnot, addAnnots, addAnnots, addSource, addSourceInfoAsAnnots, addTerm, addTerms, addTerms, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delAnnots, delSource, delSources, delTerm, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getArity, getAsJson, getAsListOfTerms, getPredicateIndicator, getSingletonVars, getSources, getTerm, getTerms, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, hasTerm, importAnnots, isLiteral, logicalConsequence, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, negated, newFromListOfTerms, newFunctor, noSource, parseLiteral, setAnnots, setNegated, setTerm, setTerms, subjectToBUF

Methods inherited from class jason.asSyntax.DefaultTerm

countVars, getCyclicVar, getErrorMsg, getSrcInfo, hashCode, hasVar, isArithExpr, isCyclicTerm, isGround, isInternalAction, isList, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, parse, resetHashCodeCache, setSrcInfo, subsumes

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jason.asSyntax.Term

countVars, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isCyclicTerm, isGround, isInternalAction, isList, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes

Methods inherited from interface jason.util.ToJson

getAsJsonStr

Constructor Details

Atom

public Atom(String functor)

Atom

protected Atom(Atom namespace,
 String functor)

Atom

public Atom(Literal l)

Atom

public Atom(Literal l,
 Unifier u)

Atom

public Atom(Atom namespace,
 Literal l)

Method Details

getFunctor

public String getFunctor()

Description copied from class: Literal

returns the functor of this literal

Specified by:

getFunctor in class Literal

getNS

public Atom getNS()

Description copied from class: Literal

returns the name spaceof this literal

Specified by:

getNS in class Literal

clone

public Term clone()

Specified by:

clone in interface Term

Specified by:

clone in class DefaultTerm

capply

public Term capply(Unifier u)

Description copied from interface: Term

clone and applies together (and faster than clone and then apply)

Specified by:

capply in interface Term

Overrides:

capply in class DefaultTerm

cloneNS

public Literal cloneNS(Atom newnamespace)

Description copied from interface: Term

clone in another namespace

Specified by:

cloneNS in interface Term

Overrides:

cloneNS in class DefaultTerm

isAtom

public boolean isAtom()

Specified by:

isAtom in interface Term

Overrides:

isAtom in class DefaultTerm

equals

public boolean equals(Object o)

Specified by:

equals in interface Term

Overrides:

equals in class Object

compareTo

public int compareTo(Term t)

Specified by:

compareTo in interface Comparable<Term>

Overrides:

compareTo in class DefaultTerm

calcHashCode

protected int calcHashCode()

Specified by:

calcHashCode in class DefaultTerm

toString

public String toString()

Overrides:

toString in class Object

getAsDOM

public Element getAsDOM(Document document)

get as XML