(term_t term)
| 599 | // ==================================================================/ |
| 600 | |
| 601 | protected void put(term_t term) { // was public |
| 602 | putTerm(this, new HashMap<String, term_t>(), term); |
| 603 | } |
| 604 | |
| 605 | protected static void putTerm(Term t, Map<String, term_t> varnames_to_vars, term_t term) { |
| 606 | putLoop(new PutTask(0, t, term), varnames_to_vars); |