You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
RukNdf edited this page Mar 15, 2021
·
2 revisions
Arquivo de template, usado para o output latex.
Lista de palavras que são substituidas:
Palavras:
* %!name!% ---------> Nome do programa
* %!domain!% -------> Nome do domínio
* %!problem!% ------> Nome do problema
* %!domainFile!% ---> Arquivo de domínio
* %!problemFile!% --> Arquivo de problema
* %!planFile!% -----> Arquivo de plano
Plano:
* %!plan!% ------> Repete a linha e substitui por cada ação do plano
* %!planNum!% ---> Numero da ação atual, deve estar na mesma linha
Validação:
* %!val!% --------> Repete até o endval para cada ação aplicada, substitui o val por cada ação
* %!valNum!% -----> Número da ação, deve estar na mesma linha
* %!valP!% -------> Resultado (erros, predicados aplicados), repete para cada erro/predicado
* %!endVal!% -----> Demarca o fim, a linha é ignorada
Objetivo:
* %!goalAchieved!% -> String se o objetivo foi atingido