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

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

public class DLPNegLiteral
extends NegLiteral
implements DLPLiteral

class for strict negated literals *

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

Field Summary
(package private)  boolean litIsFact
           
 
Fields inherited from class edu.udo.cs.ie.cowbots.logic.NegLiteral
atom
 
Constructor Summary
DLPNegLiteral(DLPAtom a)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 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 isLitAfact()
          check this literal whether a fact or not.
 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.NegLiteral
isPredicate
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface edu.udo.cs.ie.cowbots.logic.ELPLiteral
isPredicate
 

Field Detail

litIsFact

boolean litIsFact
Constructor Detail

DLPNegLiteral

public DLPNegLiteral(DLPAtom a)
Method Detail

isLitAfact

public boolean isLitAfact()
check this literal whether a fact or not.

Returns:
litIsFact

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 NegLiteral
Returns:
nested literal

isAtom

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

isDefaultNegated

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

isStrictNegated

public boolean isStrictNegated()
Specified by:
isStrictNegated in interface ELPLiteral
Overrides:
isStrictNegated in class NegLiteral
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 NegLiteral
Returns:
atom

toString

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

isArithmetic

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

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

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class NegLiteral

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 *