==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==

Descrição dos arquivos de problemas STRIPS-proposicional (sem variáveis) gerados
automaticamente por um parser que recebe como entrada:
-- uma descrição em PDDL de um domínio
-- um descrição de um problema em PDDL 
gerando operadores instanciados, estado inicial e meta.

==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==+==

Os arquivos de problemas proposicionais estão no seguinte formato:

nome operador 1
precondicao1;precondicao2;...
efeito1;efeito2;...
nome operador 2
precondicao3;precondicao4;...
efeito3;efeito4;...
.
.
.
nome operador n
precondicao N;precondicaoN+1;...
efeitoN;efeitoN+1;...

proposicao1EstadoInicial;proposicao2EstadoInicial;...
proposicao1Objetivo;proposicao2Objetivo;...

Todas as linhas até a primeira linha em branco são, três a três, descrições de
operadores. A primeira das três linhas e' o nome do operador, a segunda é a
lista de proposições da pré-condição (separadas por ponto e virgula) e a
terceira é a lista de efeitos da ação.

A primeira linha após a linha em branco é a lista de proposições do estado
inicial, e a segunda linha é a lista de proposições dos estados objetivos
(pode haver mais do que um estado objetivo para um dado problema de
planejamento).  Como para as pré-condicoes de um operador, todas as
proposições das listas sao separadas por ponto e virgula.

Chamamos de um "problema de planejamento" as ações geradas mais a lista de
proposicoes do estado inicial e a lista de proposicoes pertencentes aos
estados objetivos.