edu.udo.cs.ie.cowbots.elpParser.dlp
Class DLPNotLiteral

Package class diagram package DLPNotLiteral
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.logic.NotLiteral
      extended by edu.udo.cs.ie.cowbots.elpParser.dlp.DLPNotLiteral
All Implemented Interfaces:
DLPLiteral, ELPLiteral

public class DLPNotLiteral
extends NotLiteral
implements DLPLiteral

class for default negated literals

See Also:
class {@link NegLiteral} and interface {@link DLPLiteral}

Field Summary
(package private)  DLPLiteral lit
           
 
Constructor Summary
DLPNotLiteral(DLPLiteral arg)
           
 
Method Summary
 DLPAtom getAtom()
          returns the atom of this literal
 DLPLiteral 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 isStrictNegated()
           
 boolean LitIsAfact(boolean b)
          returns the atom of this literal
 java.lang.String toString()
           
 
Methods inherited from class edu.udo.cs.ie.cowbots.logic.NotLiteral
isPredicate
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface edu.udo.cs.ie.cowbots.logic.ELPLiteral
isPredicate
 

Field Detail

lit

DLPLiteral lit
Constructor Detail

DLPNotLiteral

public DLPNotLiteral(DLPLiteral arg)
Method Detail

getLiteral

public DLPLiteral 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
Overrides:
getLiteral in class NotLiteral
Returns:
nested literal

isAtom

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

isDefaultNegated

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

isStrictNegated

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

getAtom

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

Specified by:
getAtom in interface ELPLiteral
Overrides:
getAtom in class NotLiteral
Returns:
atom

toString

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

isArithmetic

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

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

LitIsAfact

public boolean LitIsAfact(boolean b)
Description copied from interface: DLPLiteral
returns the atom of this literal

Specified by:
LitIsAfact in interface DLPLiteral
Parameters:
b - if this literal is a fact or not Boolean *