edu.udo.cs.ie.cowbots.logic
Class IntPredicate

Package class diagram package IntPredicate
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.logic.ELPAtom
      extended by edu.udo.cs.ie.cowbots.logic.IntPredicate
All Implemented Interfaces:
ELPLiteral

 class IntPredicate
extends ELPAtom

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

IntPredicate

public IntPredicate(java.lang.String value)
Method Detail

isPredicate

public boolean isPredicate()
Description copied from interface: ELPLiteral
this method indicates if the literal appearing in a program is a build-in or external dlv predicate

Specified by:
isPredicate in interface ELPLiteral
Overrides:
isPredicate in class ELPAtom
Returns:
true if this object models a dlv predicate

isArithmetic

public boolean isArithmetic()
Description copied from interface: ELPLiteral
deprecated, use isPredicate instead !

Specified by:
isArithmetic in interface ELPLiteral
Overrides:
isArithmetic in class ELPAtom
Returns:
true if this objects models an arithmetic expression