|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.pa.generic.Disjunction
escjava.pa.generic.EnumKofN
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 |
int n
int k
Constructor Detail |
public EnumKofN(int k, int n)
Method Detail |
boolean getNext()
public static void main(java.lang.String[] argv)
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |