edu.udo.cs.ie.cowbots.elpParser.dlp
Class DLPNegLiteral
java.lang.Object
edu.udo.cs.ie.cowbots.logic.NegLiteral
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 |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
litIsFact
boolean litIsFact
DLPNegLiteral
public DLPNegLiteral(DLPAtom a)
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
*