org.dllearner.examples
Class KRK

java.lang.Object
  org.dllearner.examples.KRK

public class KRK
extends Object

Constructor Summary

KRK()

Method Summary

static void	init()
static void	initClassHierarchy()
static void	initDisJointClasses()
static void	main(String[] args)
static String[]	tokenize(String s)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KRK

public KRK()

Method Detail

main

public static void main(String[] args)

Parameters:

args -

init

public static void init()

initDisJointClasses

public static void initDisJointClasses()

initClassHierarchy

public static void initClassHierarchy()

tokenize

public static String[] tokenize(String s)