Как записать некоторые данные в файл в виде журнала или статистику в Uppaal?Есть ли какая-нибудь функция fprintf или какая-то FILE*, такая как у нас в C или нет?Тот же вопрос для чтения из файла тоже.
fprintf
FILE*
C