A planning domain corresponds to a state-transition system in which the state
space is implicitly defined by the Atoms used to define the Domain and the
planning problems for this Domain.
A propositional planning domain corresponds to a state-transition system in
which the state space is implicitly defined by the propositional Atoms used
to define the Domain and the planning problems for this Domain.