edu.udo.cs.ie.cowbots.logic
Interface ELPLiteral

Package class diagram package ELPLiteral
All Known Subinterfaces:
DLPLiteral
All Known Implementing Classes:
AggregatePredicate, ArithmeticPredicate, DLPAtom, DLPNegLiteral, DLPNotLiteral, ELPAtom, IntPredicate, NegLiteral, NotLiteral, RelationPredicate

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

isDefaultNegated

boolean isDefaultNegated()
Returns:
true if this literal is default negated

isStrictNegated

boolean isStrictNegated()
Returns:
true if this literal is strictly negated

isAtom

boolean isAtom()
Returns:
true if this literal is an atom

isPredicate

boolean isPredicate()
this method indicates if the literal appearing in a program is a build-in or external dlv predicate

Returns:
true if this object models a dlv predicate

isArithmetic

@Deprecated
boolean isArithmetic()
Deprecated. 

deprecated, use isPredicate instead !

Returns:
true if this objects models an arithmetic expression

getLiteral

ELPLiteral getLiteral()
returns a possibly nested literal, or the object itself if this literal is not (strict or default) negated.

Returns:
nested literal

getAtom

ELPAtom getAtom()
returns the atom of this literal

Returns:
atom