public Individual set( AtomIVariable key, ATermAppl value ) {
AtomIConstant constant = new AtomIConstant( value );
IndividualValueCollector collector = new IndividualValueCollector();
constant.accept( collector );
return set( key, collector.getValue() );
}
public String toString() {
StringBuffer buffer = new StringBuffer("{");