edu.udo.cs.ie.cowbots.logic
Class NotLiteral

Package class diagram package NotLiteral
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.logic.NotLiteral
All Implemented Interfaces:
ELPLiteral
Direct Known Subclasses:
DLPNotLiteral

public class NotLiteral
extends java.lang.Object
implements ELPLiteral

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

lit

ELPLiteral lit
Constructor Detail

NotLiteral

public NotLiteral()

NotLiteral

public NotLiteral(ELPLiteral arg)
Method Detail

getLiteral

public ELPLiteral getLiteral()
Description copied from interface: ELPLiteral
returns a possibly nested literal, or the object itself if this literal is not (strict or default) negated.

Specified by:
getLiteral in interface ELPLiteral
Returns:
nested literal

isAtom

public boolean isAtom()
Specified by:
isAtom in interface ELPLiteral
Returns:
true if this literal is an atom

isDefaultNegated

public boolean isDefaultNegated()
Specified by:
isDefaultNegated in interface ELPLiteral
Returns:
true if this literal is default negated

isStrictNegated

public boolean isStrictNegated()
Specified by:
isStrictNegated in interface ELPLiteral
Returns:
true if this literal is strictly negated

getAtom

public ELPAtom getAtom()
Description copied from interface: ELPLiteral
returns the atom of this literal

Specified by:
getAtom in interface ELPLiteral
Returns:
atom

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

isArithmetic

public boolean isArithmetic()
Description copied from interface: ELPLiteral
deprecated, use isPredicate instead !

Specified by:
isArithmetic in interface ELPLiteral
Returns:
true if this objects models an arithmetic expression

isPredicate

public boolean isPredicate()
Description copied from interface: ELPLiteral
this method indicates if the literal appearing in a program is a build-in or external dlv predicate

Specified by:
isPredicate in interface ELPLiteral
Returns:
true if this object models a dlv predicate