|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.logic.ELPAtom
edu.udo.cs.ie.cowbots.logic.IntPredicate
class IntPredicate
private class to model special build-in dlv predicates like #int
Field Summary |
---|
Fields inherited from class edu.udo.cs.ie.cowbots.logic.ELPAtom |
---|
pred, terms |
Constructor Summary | |
---|---|
IntPredicate(java.lang.String value)
|
Method Summary | |
---|---|
boolean |
isArithmetic()
deprecated, use isPredicate instead ! |
boolean |
isPredicate()
this method indicates if the literal appearing in a program is a build-in or external dlv predicate |
Methods inherited from class edu.udo.cs.ie.cowbots.logic.ELPAtom |
---|
Aggregate, Aggregate, Equal, equals, getArity, getAtom, getLiteral, getPredicate, getTerm, getTermAsInt, getTerms, getType, Gtr, GtrEq, hashCode, instantiate, Int, isAtom, isDefaultNegated, isStrictNegated, Less, LessEq, Mul, Plus, setTerm, setTerms, toString, UnEq |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public IntPredicate(java.lang.String value)
Method Detail |
---|
public boolean isPredicate()
ELPLiteral
isPredicate
in interface ELPLiteral
isPredicate
in class ELPAtom
public boolean isArithmetic()
ELPLiteral
isArithmetic
in interface ELPLiteral
isArithmetic
in class ELPAtom
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |