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

escjava.pa.generic
Class EnumKofN

java.lang.Object
  extended byescjava.pa.generic.Disjunction
      extended byescjava.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)

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

The ESC/Java2 Project Homepage