class to record TRENFAState