public void generateNextTestSet(TransformationContext ctx, Term t) throws TermWareException {
if (!t.isX()) {
throw new AssertException("argument of generateNextTestSet must be a propositional variable");
}
Term retval = generateStateTermFromNextFieldModel();
ctx.getCurrentSubstitution().put(t, retval);
++nGenerations_;
if (nGenerations_ >= maxNGenerations_) {
ctx.setStop(true);
}
}
