Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
K
kill(DlvIOHandler)
- Method in interface DLV.core.
AbstractIOImplementation
kill(DlvIOHandler)
- Method in class DLV.core.
JavaPipedIOImpl
kill()
- Method in class DLV.
DlvHandler
This function kills the current DLV process.
KILLED
- Static variable in class DLV.
DlvHandler
The status of a DlvHandler instance when DLV process was killed.
kind
- Variable in class DLV.parser.
Token
An integer that describes the kind of this token.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W