edu.udo.cs.ie.cowbots.elpParser.dlp
Interface DLPLiteral

Package class diagram package DLPLiteral
All Superinterfaces:
ELPLiteral
All Known Implementing Classes:
DLPAtom, DLPNegLiteral, DLPNotLiteral

public interface DLPLiteral
extends ELPLiteral

this interface models a logical literal used in disjunctive extended logic programs.

See Also:
DLPNegLiteral}, {@link DLPNotLiteral} and {@link DLPAtom} with the super interface {@link ELPLiteral}

Method Summary
 boolean LitIsAfact(boolean b)
          returns the atom of this literal
 
Methods inherited from interface edu.udo.cs.ie.cowbots.logic.ELPLiteral
getAtom, getLiteral, isArithmetic, isAtom, isDefaultNegated, isPredicate, isStrictNegated
 

Method Detail

LitIsAfact

boolean LitIsAfact(boolean b)
returns the atom of this literal

Parameters:
b - if this literal is a fact or not Boolean *