public String printVariableBinding ( Term var ) { return var . toString ( getInterner ( ) , true , false ) + " = " + var . getValue ( ) . toString ( getInterner ( ) , false , true ) ; }
Prints a variable binding in the form Var = value .