|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.logic.ELPAtom
edu.udo.cs.ie.cowbots.elpParser.dlp.DLPAtom
public class DLPAtom
this class extends ELPAtom
ELPAtom
Field Summary | |
---|---|
private Predicate |
predicate
|
private DLPTermList |
tl
|
Constructor Summary | |
---|---|
DLPAtom(DLPAtom other)
default copy constructor |
|
DLPAtom(Predicate p,
DLPTermList ts)
|
Method Summary | |
---|---|
boolean |
equals(java.lang.Object o)
|
int |
getArtiy()
|
DLPAtom |
getAtom()
returns the atom of this literal |
DLPLiteral |
getLiteral()
returns a possibly nested literal, or the object itself if this literal is not (strict or default) negated. |
java.lang.String |
getPredicate()
returns the predicate symbol of this atom |
java.lang.String |
getTerm(int i)
returns a term at a given index |
int |
getTermArity()
returns the arity of term |
java.lang.String[] |
getTerms()
|
java.lang.String |
getType()
returns the predicate symbol and the arity. |
boolean |
isArithmetic()
deprecated, use isPredicate instead ! |
boolean |
isAtom()
|
boolean |
isDefaultNegated()
|
boolean |
isStrictNegated()
|
boolean |
LitIsAfact(boolean b)
returns the atom of this literal |
void |
setTerms(DLPAtom other)
|
java.lang.String |
toString()
translates the atom into a human readable string. |
Methods inherited from class edu.udo.cs.ie.cowbots.logic.ELPAtom |
---|
Aggregate, Aggregate, Equal, getArity, getTermAsInt, Gtr, GtrEq, hashCode, instantiate, Int, isPredicate, Less, LessEq, Mul, Plus, setTerm, setTerms, UnEq |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface edu.udo.cs.ie.cowbots.logic.ELPLiteral |
---|
isPredicate |
Field Detail |
---|
private Predicate predicate
private DLPTermList tl
Constructor Detail |
---|
public DLPAtom(Predicate p, DLPTermList ts)
public DLPAtom(DLPAtom other)
Method Detail |
---|
public java.lang.String getPredicate()
getPredicate
in class ELPAtom
String
public int getTermArity()
Integer
public int getArtiy()
public java.lang.String getTerm(int i)
getTerm
in class ELPAtom
i
- term index i Integer
Integer
public void setTerms(DLPAtom other)
public java.lang.String[] getTerms()
getTerms
in class ELPAtom
public java.lang.String getType()
getType
in class ELPAtom
String
public java.lang.String toString()
toString
in class ELPAtom
public boolean isAtom()
isAtom
in interface ELPLiteral
isAtom
in class ELPAtom
public boolean isDefaultNegated()
isDefaultNegated
in interface ELPLiteral
isDefaultNegated
in class ELPAtom
public boolean isStrictNegated()
isStrictNegated
in interface ELPLiteral
isStrictNegated
in class ELPAtom
public DLPLiteral getLiteral()
ELPLiteral
getLiteral
in interface ELPLiteral
getLiteral
in class ELPAtom
public DLPAtom getAtom()
ELPLiteral
getAtom
in interface ELPLiteral
getAtom
in class ELPAtom
public boolean equals(java.lang.Object o)
equals
in class ELPAtom
public boolean isArithmetic()
ELPLiteral
isArithmetic
in interface ELPLiteral
isArithmetic
in class ELPAtom
public boolean LitIsAfact(boolean b)
DLPLiteral
LitIsAfact
in interface DLPLiteral
b
- if this literal is a fact or not Boolean
*
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |