public synchronized K sortCells(K term) { resetVars(); analyzeVars(term); return processVars(term); }
private Context sortCells(Context context) { resetVars(); analyzeVars(context.body()); analyzeVars(context.requires()); return new Context( processVars(context.body()), processVars(context.requires()), context.att()); }
private Rule sortCells(Rule rule) { resetVars(); analyzeVars(rule.body()); analyzeVars(rule.requires()); analyzeVars(rule.ensures()); rule = Rule( processVars(rule.body()), processVars(rule.requires()), processVars(rule.ensures()), rule.att()); rule = Rule( resolveIncompleteCellFragment(rule.body()), resolveIncompleteCellFragment(rule.requires()), resolveIncompleteCellFragment(rule.ensures()), rule.att()); return rule; }