}
public Literal set( AtomDVariable key, ATermAppl value ) {
AtomDConstant constant = new AtomDConstant( value );
DataValueCollector collector = new DataValueCollector();
constant.accept( collector );
return set( key, collector.getValue() );
}
/**
* If the key is an instance variable, set the value. Otherwise, ignore it.