edu.udo.cs.ie.cowbots.elpParser.dlp
Class DLPNotLiteral
java.lang.Object
edu.udo.cs.ie.cowbots.logic.NotLiteral
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}
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
lit
DLPLiteral lit
DLPNotLiteral
public DLPNotLiteral(DLPLiteral arg)
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
*