Deprecated API


Contents
Deprecated Methods
DLV.parser.JavaCharStream.getColumn()
            
DLV.parser.JavaCharStream.getLine()
            
DLV.Predicate.Literal.setTermAt(String, int)
          use setTermAt(int i, String t) instead.