org.overturetool.vdmj.traces
Class Permutor

java.lang.Object
  org.overturetool.vdmj.traces.Permutor

public class Permutor
extends java.lang.Object

Constructor Summary

Permutor(int[] limits)

Method Summary

boolean	hasNext()
int[]	next()

Methods inherited from class java.lang.Object

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

Constructor Detail

Permutor

public Permutor(int[] limits)

Method Detail

next

public int[] next()

hasNext

public boolean hasNext()