|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Deprecated Methods | |
---|---|
DLV.parser.JavaCharStream.getColumn()
|
|
DLV.parser.JavaCharStream.getLine()
|
|
DLV.Predicate.Literal.setTermAt(String, int)
use setTermAt(int i, String t) instead. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |