Mercurial > hg > Members > kono > jpf-core

comparison src/main/gov/nasa/jpf/vm/choice/PermutationCG.java @ 11:ca88bd8e918c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PairPermutationGenerator didn't have public ctor PermutationCG ctor didn't have id
author Peter Mehlitz <pcmehlitz@gmail.com>
date Wed, 25 Feb 2015 13:03:40 -0800
parents d0a0ff1c0e10
children
comparison
equal deleted inserted replaced
10:87e9c7544a06 11:ca88bd8e918c
31 31
32 protected PermutationGenerator pg; 32 protected PermutationGenerator pg;
33 protected int[] permutation; 33 protected int[] permutation;
34 34
35 public PermutationCG (PermutationGenerator pg){ 35 public PermutationCG (PermutationGenerator pg){
36 this.pg = pg;
37 }
38
39 public PermutationCG (String id, PermutationGenerator pg){
40 super(id);
36 this.pg = pg; 41 this.pg = pg;
37 } 42 }
38 43
39 @Override 44 @Override
40 public int[] getNextChoice() { 45 public int[] getNextChoice() {