|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LiteralFile.LiteralHandler | |
---|---|
DLV.io |
Uses of LiteralFile.LiteralHandler in DLV.io |
---|
Methods in DLV.io that return LiteralFile.LiteralHandler | |
---|---|
LiteralFile.LiteralHandler |
LiteralFile.getLiteralHandler(long lgPosition)
|
LiteralFile.LiteralHandler |
LiteralFile.indexOfLiteralHandler(LiteralFile.LiteralHandler lh)
|
Methods in DLV.io with parameters of type LiteralFile.LiteralHandler | |
---|---|
void |
LiteralFile.addLiteralHandler(LiteralFile.LiteralHandler lh)
|
int |
LiteralFile.indexOfLiteral(LiteralFile.LiteralHandler lh)
|
LiteralFile.LiteralHandler |
LiteralFile.indexOfLiteralHandler(LiteralFile.LiteralHandler lh)
|
void |
LiteralFile.setLiteralHandler(long lgPosition,
LiteralFile.LiteralHandler lh)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |