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.

A B C D E F G H I J K L M N O P Q R S T U V W