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); } }