Package jason.asSyntax

Class Rule

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.Pred

jason.asSyntax.LiteralImpl

jason.asSyntax.Rule

All Implemented Interfaces:

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

public class Rule
extends LiteralImpl

A rule is a Literal (head) with a body, as in "a :- b & c".

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
Rule(Literal head, LogicalFormula body)
Rule(Rule r, 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)
Rule	clone()	make a deep copy of the terms
void	countVars(Map<VarTerm,Integer> c)
boolean	equals(Object o)
Element	getAsDOM(Document document)	get as XML
LogicalFormula	getBody()
Literal	getHead()
boolean	hasVar(VarTerm t, Unifier u)
Literal	headCApply(Unifier u)
Literal	headClone()
boolean	isAtom()
boolean	isGround()
boolean	isRule()
boolean	isTerm()
Literal	makeVarsAnnon(Unifier un)	replaces all variables of the term for unnamed variables (_).
void	setAsTerm(boolean b)
String	toString()

Methods inherited from class jason.asSyntax.LiteralImpl

canBeAddedInBB, cloneNS, getErrorMsg, getPredicateIndicator, negated, setNegated

Methods inherited from class jason.asSyntax.Pred

addAnnot, addAnnots, addAnnots, addSource, capplyAnnots, clearAnnots, createSource, delAnnot, delAnnots, delSource, delSources, equalsAsStructure, getAnnot, getAnnots, getAnnots, getSources, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, 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

getCyclicVar, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isInternalAction, isList, isMap, isNumeric, isPlanBody, 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

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

Methods inherited from interface jason.util.ToJson

getAsJsonStr

Constructor Details

Rule

public Rule(Literal head,
 LogicalFormula body)

Rule

public Rule(Rule r,
 Unifier u)

Method Details

isRule

public boolean isRule()

Specified by:

isRule in interface Term

Overrides:

isRule in class DefaultTerm

isAtom

public boolean isAtom()

Specified by:

isAtom in interface Term

Overrides:

isAtom in class LiteralImpl

isGround

public boolean isGround()

Specified by:

isGround in interface Term

Overrides:

isGround in class Pred

setAsTerm

public void setAsTerm(boolean b)

isTerm

public boolean isTerm()

equals

public boolean equals(Object o)

Specified by:

equals in interface Term

Overrides:

equals in class LiteralImpl

calcHashCode

protected int calcHashCode()

Overrides:

calcHashCode in class LiteralImpl

getBody

public LogicalFormula getBody()

getHead

public Literal getHead()

makeVarsAnnon

public Literal makeVarsAnnon(Unifier un)

Description copied from class: Literal

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

Overrides:

makeVarsAnnon in class Pred

Parameters:

un - 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 Rule clone()

Description copied from class: Structure

make a deep copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class LiteralImpl

headClone

public Literal headClone()

headCApply

public Literal headCApply(Unifier u)

toString

public String toString()

Overrides:

toString in class Structure

hasVar

public boolean hasVar(VarTerm t,
 Unifier u)

Specified by:

hasVar in interface Term

Overrides:

hasVar in class Pred

countVars

public void countVars(Map<VarTerm,Integer> c)

Specified by:

countVars in interface Term

Overrides:

countVars in class Pred

getAsDOM

public Element getAsDOM(Document document)

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class LiteralImpl