public class RewritingPermutator
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
RewritingPermutator.ArgumentPermutation |
| Constructor and Description |
|---|
RewritingPermutator() |
| Modifier and Type | Method and Description |
|---|---|
long |
calculateNumberOfPermutations(java.util.List<ASTRewriteRule.RewritePossibilities> rewritePossibilities) |
RewritingPermutator.ArgumentPermutation |
getNextPermutation() |
boolean |
hasNextPermutation() |
int |
numberOfPermutations() |
void |
remove(RewritingPermutator.ArgumentPermutation permutation) |
void |
reset() |
void |
setRewritePossibilities(java.util.List<ASTRewriteRule.RewritePossibilities> rewritePossibilities) |
public long calculateNumberOfPermutations(java.util.List<ASTRewriteRule.RewritePossibilities> rewritePossibilities)
public void setRewritePossibilities(java.util.List<ASTRewriteRule.RewritePossibilities> rewritePossibilities)
public boolean hasNextPermutation()
public RewritingPermutator.ArgumentPermutation getNextPermutation()
public void remove(RewritingPermutator.ArgumentPermutation permutation)
public void reset()
public int numberOfPermutations()