korat.utils.cv
Class C

java.lang.Object
  korat.utils.cv.C

public class C
extends Object

Nested Class Summary

(package private) static class	C.Candidate
(package private) static class	C.Pair

Field Summary

(package private) static long	l
(package private) static long	length

Constructor Summary

C()

Method Summary

(package private) static boolean	Korat_hasNext()
(package private) static C.Candidate	Korat_next()
(package private) static void	koratInit(String s)
static void	main(String[] args)
(package private) static C.Pair	newAlgorithm(int n)
(package private) static String	nullToZero(C.Candidate c)
(package private) static C.Pair	oldAlgorithm(int n)
(package private) static void	print(String prefix, C.Candidate[] candidates, int index)

Methods inherited from class java.lang.Object

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

Field Detail

length

static long length

l

static long l

Constructor Detail

C

public C()

Method Detail

main

public static void main(String[] args)

newAlgorithm

static C.Pair newAlgorithm(int n)

oldAlgorithm

static C.Pair oldAlgorithm(int n)

print

static void print(String prefix,
                  C.Candidate[] candidates,
                  int index)

nullToZero

static String nullToZero(C.Candidate c)

koratInit

static void koratInit(String s)

Korat_hasNext

static boolean Korat_hasNext()

Korat_next

static C.Candidate Korat_next()