Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jason.asSyntax
Interface Term

All Superinterfaces:
  java.lang.Cloneable, java.lang.Comparable<Term>, java.io.Serializable, ToDOM

All Known Subinterfaces:
  ListTerm, LogicalFormula, NumberTerm, ObjectTerm, PlanBody, StringTerm

All Known Implementing Classes:
  ArithExpr, ArithFunctionTerm, Atom, BinaryStructure, BodyLiteral, DefaultTerm, InternalActionLiteral, ListTermImpl, Literal, LiteralImpl, LogExpr, NumberTermImpl, ObjectTermImpl, Plan, PlanBodyImpl, Pred, RelExpr, Rule, StringTermImpl, Structure, Trigger, UnnamedVar, VarTerm

    public interface Term

extends java.lang.Cloneable, java.lang.Comparable<Term>, java.io.Serializable, ToDOM

Common interface for all kind of terms

Method Summary
`boolean` | `apply(Unifier u)` replaces variables by their values in the unifier, returns true if some variable was applied
`Term` | `clone()`
`void` | `countVars(java.util.Map<VarTerm,java.lang.Integer> c)`
`boolean` | `equals(java.lang.Object o)`
`SourceInfo` | `getSrcInfo()`
`boolean` | `hasVar(VarTerm t)`
`boolean` | `isArithExpr()`
`boolean` | `isAtom()`
`boolean` | `isGround()`
`boolean` | `isInternalAction()`
`boolean` | `isList()`
`boolean` | `isLiteral()`
`boolean` | `isNumeric()`
`boolean` | `isPlanBody()`
`boolean` | `isPred()`
`boolean` | `isRule()`
`boolean` | `isString()`
`boolean` | `isStructure()`
`boolean` | `isUnnamedVar()`
`boolean` | `isVar()`
`void` | `setSrcInfo(SourceInfo s)` Removes the value cached for hashCode

Methods inherited from interface java.lang.Comparable
`compareTo`

Methods inherited from interface jason.util.ToDOM
`getAsDOM`

Method Detail

### isVar

    boolean isVar()

### isUnnamedVar

    boolean isUnnamedVar()

### isLiteral

    boolean isLiteral()

### isRule

    boolean isRule()

### isList

    boolean isList()

### isString

    boolean isString()

### isInternalAction

    boolean isInternalAction()

### isArithExpr

    boolean isArithExpr()

### isNumeric

    boolean isNumeric()

### isPred

    boolean isPred()

### isGround

    boolean isGround()

### isStructure

    boolean isStructure()

### isAtom

    boolean isAtom()

### isPlanBody

    boolean isPlanBody()

### hasVar

    boolean hasVar(VarTerm t)

### countVars

    void countVars(java.util.Map<VarTerm,java.lang.Integer> c)

### clone

    Term clone()

### equals

    boolean equals(java.lang.Object o)

  Overrides:
    `equals` in class `java.lang.Object`

### apply

    boolean apply(Unifier u)

  replaces variables by their values in the unifier, returns true if some variable was applied

### setSrcInfo

    void setSrcInfo(SourceInfo s)

  Removes the value cached for hashCode

### getSrcInfo

    SourceInfo getSrcInfo()

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD