DLV.io
Class LiteralFile.LiteralHandler
java.lang.Object
DLV.io.LiteralFile.LiteralHandler
- Enclosing class:
- LiteralFile
public static class LiteralFile.LiteralHandler
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LiteralFile.LiteralHandler
public LiteralFile.LiteralHandler(long lgPosition,
java.lang.String name,
java.lang.String[] terms,
boolean sign)
LiteralFile.LiteralHandler
public LiteralFile.LiteralHandler(long lgPosition,
Predicate.Literal lit)
getName
public java.lang.String getName()
getSign
public boolean getSign()
getTermAt
public java.lang.String getTermAt(int pos)
getTerms
public java.lang.String[] getTerms()
getLogicalPosition
public long getLogicalPosition()