Package jason.asSyntax

Class CyclicTerm

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.Pred

jason.asSyntax.LiteralImpl

jason.asSyntax.CyclicTerm

All Implemented Interfaces:

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

public class CyclicTerm
extends LiteralImpl

A term with recursion (cyclic), created by code like X = f(X).

See Also:

• Serialized Form

Field Summary

Fields inherited from class jason.asSyntax.Structure

emptyTermArray, emptyTermList

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

Constructor	Description
CyclicTerm(Literal t, VarTerm v)	creates a positive literal
CyclicTerm(Literal t, VarTerm v, Unifier u)

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()	make a deep copy of the terms
boolean	equals(Object o)
Element	getAsDOM(Document document)	get as XML
VarTerm	getCyclicVar()
boolean	isCyclicTerm()
Literal	makeVarsAnnon(Unifier u)	replaces all variables of the term for unnamed variables (_).
String	toString()

Methods inherited from class jason.asSyntax.LiteralImpl

canBeAddedInBB, cloneNS, getErrorMsg, getPredicateIndicator, isAtom, negated, setNegated

Methods inherited from class jason.asSyntax.Pred

addAnnot, addAnnots, addAnnots, addSource, capplyAnnots, clearAnnots, countVars, createSource, delAnnot, delAnnots, delSource, delSources, equalsAsStructure, getAnnot, getAnnots, getAnnots, getSources, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, hasVar, importAnnots, isGround, isPred, parsePred, setAnnots, toStringAsTerm

Methods inherited from class jason.asSyntax.Structure

addTerm, addTerms, addTerms, delTerm, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, varToReplace

Methods inherited from class jason.asSyntax.Atom

compareTo, getFunctor, getNS

Methods inherited from class jason.asSyntax.Literal

addSourceInfoAsAnnots, copy, delAnnots, forceFullLiteralImpl, getAsJson, getAsListOfTerms, getTermsArray, isLiteral, logicalConsequence, newFromListOfTerms, newFunctor, noSource, parseLiteral, subjectToBUF

Methods inherited from class jason.asSyntax.DefaultTerm

getSrcInfo, hashCode, isArithExpr, isInternalAction, isList, isMap, isNumeric, isPlanBody, isRule, isSet, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo

Methods inherited from class java.lang.Object

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

Methods inherited from interface jason.asSyntax.Term

getSrcInfo, isArithExpr, isInternalAction, isList, isMap, isNumeric, isPlanBody, isRule, isSet, isString, isUnnamedVar, isVar, setSrcInfo

Methods inherited from interface jason.util.ToJson

getAsJsonStr

Constructor Details

CyclicTerm

public CyclicTerm(Literal t,
 VarTerm v)

creates a positive literal

CyclicTerm

public CyclicTerm(Literal t,
 VarTerm v,
 Unifier u)

Method Details

getCyclicVar

public VarTerm getCyclicVar()

Specified by:

getCyclicVar in interface Term

Overrides:

getCyclicVar in class DefaultTerm

isCyclicTerm

public boolean isCyclicTerm()

Specified by:

isCyclicTerm in interface Term

Overrides:

isCyclicTerm in class DefaultTerm

equals

public boolean equals(Object o)

Specified by:

equals in interface Term

Overrides:

equals in class LiteralImpl

makeVarsAnnon

public Literal makeVarsAnnon(Unifier u)

Description copied from class: Literal

replaces all variables of the term for unnamed variables (_).

Overrides:

makeVarsAnnon in class Pred

Parameters:

u - is the unifier that contains the map of replacements

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 LiteralImpl

clone

public Term clone()

Description copied from class: Structure

make a deep copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class LiteralImpl

calcHashCode

protected int calcHashCode()

Overrides:

calcHashCode in class LiteralImpl

toString

public String toString()

Overrides:

toString in class Structure

getAsDOM

public Element getAsDOM(Document document)

Description copied from class: LiteralImpl

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class LiteralImpl