Ejemplo n.º 1
0
 public int getArity(Term t, Env env) {
   return env.getSymTable().getArity(t.getStartName(), t.getStartType());
 }
Ejemplo n.º 2
0
 public String getSymbol(Term t, Env env) {
   return env.getSymTable().get(t.getStartName(), t.getStartType());
 }