user_ property

IFactAgent user_
final

Implementation

final IFactAgent user_;