Update add fluents automatically
Victor Wjugow
Branch: update_add_fluents_automatically
Branch: update
Merged
Merged pull request
Merged in update_add_fluents_automatically (pull request #2)
Merged in update_add_fluents_automatically (pull request #2)
replaced literals by constants
added update fluents to PredicateDefinition, so the user does not have to define them