|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.logic.NotLiteral
public class NotLiteral
class for default negated literals
Field Summary | |
---|---|
(package private) ELPLiteral |
lit
|
Constructor Summary | |
---|---|
NotLiteral()
|
|
NotLiteral(ELPLiteral arg)
|
Method Summary | |
---|---|
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
ELPLiteral lit
Constructor Detail |
---|
public NotLiteral()
public NotLiteral(ELPLiteral arg)
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 isPredicate()
ELPLiteral
isPredicate
in interface ELPLiteral
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |