DLV.io
Class LiteralFile.LiteralHandler

java.lang.Object
  extended by DLV.io.LiteralFile.LiteralHandler
Enclosing class:
LiteralFile

public static class LiteralFile.LiteralHandler
extends java.lang.Object


Constructor Summary
LiteralFile.LiteralHandler(long lgPosition, Predicate.Literal lit)
           
LiteralFile.LiteralHandler(long lgPosition, java.lang.String name, java.lang.String[] terms, boolean sign)
           
 
Method Summary
 long getLogicalPosition()
           
 java.lang.String getName()
           
 boolean getSign()
           
 java.lang.String getTermAt(int pos)
           
 java.lang.String[] getTerms()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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)
Method Detail

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()