|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.logic.NegLiteral
public class NegLiteral
class for strict negated literals
Field Summary | |
---|---|
protected ELPAtom |
atom
|
Constructor Summary | |
---|---|
NegLiteral(ELPAtom a)
|
Method Summary | |
---|---|
boolean |
equals(java.lang.Object o)
|
ELPAtom |
getAtom()
returns the atom of this literal |
ELPLiteral |
getLiteral()
returns a possibly nested literal, or the object itself if this literal is not (strict or default) negated. |
boolean |
isArithmetic()
deprecated, use isPredicate instead ! |
boolean |
isAtom()
|
boolean |
isDefaultNegated()
|
boolean |
isPredicate()
this method indicates if the literal appearing in a program is a build-in or external dlv predicate |
boolean |
isStrictNegated()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected ELPAtom atom
Constructor Detail |
---|
public NegLiteral(ELPAtom a)
Method Detail |
---|
public ELPLiteral getLiteral()
ELPLiteral
getLiteral
in interface ELPLiteral
public boolean isAtom()
isAtom
in interface ELPLiteral
public boolean isDefaultNegated()
isDefaultNegated
in interface ELPLiteral
public boolean isStrictNegated()
isStrictNegated
in interface ELPLiteral
public ELPAtom getAtom()
ELPLiteral
getAtom
in interface ELPLiteral
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isArithmetic()
ELPLiteral
isArithmetic
in interface ELPLiteral
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean isPredicate()
ELPLiteral
isPredicate
in interface ELPLiteral
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |