|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ELPLiteral
this interface models a logical literal used in extended logic programs.
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. |
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()
|
Method Detail |
---|
boolean isDefaultNegated()
boolean isStrictNegated()
boolean isAtom()
boolean isPredicate()
@Deprecated boolean isArithmetic()
ELPLiteral getLiteral()
ELPAtom getAtom()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |