escjava.pa.generic
Class EnumKofN

java.lang.Object
  escjava.pa.generic.Disjunction
      escjava.pa.generic.EnumKofN

class EnumKofN

extends Disjunction

Field Summary

(package private) int	k
(package private) int	n

Fields inherited from class escjava.pa.generic.Disjunction

bits, stars

Constructor Summary

EnumKofN(int k, int n)

Method Summary

(package private) boolean	getNext()
static void	main(java.lang.String[] argv)

Methods inherited from class escjava.pa.generic.Disjunction

equals, toString

Methods inherited from class java.lang.Object

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

Field Detail

n

int n

k

int k

Constructor Detail

EnumKofN

public EnumKofN(int k,
                int n)

Method Detail

getNext

boolean getNext()

main

public static void main(java.lang.String[] argv)