|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DLPLiteral
this interface models a logical literal used in disjunctive extended logic programs.
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 |
---|
boolean LitIsAfact(boolean b)
b
- if this literal is a fact or not Boolean
*
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |