|
|||||||||
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.AggregatePredicate
class AggregatePredicate
private class to model aggregate predicates like "#times", "#max", etc
Field Summary | |
---|---|
(package private) java.lang.String |
lguard
|
(package private) java.lang.String |
lop
|
(package private) java.lang.String |
rguard
|
(package private) java.lang.String |
rop
|
(package private) SymbolicSet |
symset
|
Fields inherited from class edu.udo.cs.ie.cowbots.logic.ELPAtom |
---|
pred, terms |
Constructor Summary | |
---|---|
AggregatePredicate(java.lang.String pred,
java.lang.String lguard,
java.lang.String lgop,
java.lang.String rguard,
java.lang.String rgop,
SymbolicSet symset)
constructor to model any kind of guarded aggregate expression |
|
AggregatePredicate(java.lang.String pred,
SymbolicSet symset,
java.lang.String rop,
java.lang.String rsym)
constructor to model aggregate expression like #time{vars:lits} = assignment |
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 |
java.lang.String |
toString()
translates the atom into a human readable string. |
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, UnEq |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
SymbolicSet symset
java.lang.String lguard
java.lang.String lop
java.lang.String rguard
java.lang.String rop
Constructor Detail |
---|
public AggregatePredicate(java.lang.String pred, SymbolicSet symset, java.lang.String rop, java.lang.String rsym)
pred
- aggregate functor namevars
- local variableslits
- literals to aggregate overassignment
- righthand-side assignmentpublic AggregatePredicate(java.lang.String pred, java.lang.String lguard, java.lang.String lgop, java.lang.String rguard, java.lang.String rgop, SymbolicSet symset)
pred
- aggregate functor namelguard
- left guardlgop
- left guard relation symbolrguard
- right guardrgop
- right guard relation symbolvars
- variables of aggregate's symbolic setlits
- literals of aggregate's symbolic setMethod Detail |
---|
public java.lang.String toString()
ELPAtom
toString
in class ELPAtom
public boolean isArithmetic()
ELPLiteral
isArithmetic
in interface ELPLiteral
isArithmetic
in class ELPAtom
public boolean isPredicate()
ELPLiteral
isPredicate
in interface ELPLiteral
isPredicate
in class ELPAtom
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |