Added new AP operators ('deadlock(a1,...,ak)','deterministic(a1,...,ak)') to the LTL grammar. Adapted the LTLLexer and the PrologGenerator classes to cope with the new operators. Added unit tests.
Did some refactoring and removed unnecessary comments.
Did some refactoring.
Added a test case and removed debugging prints.
Recognising operations with arguments is now also possible inside the new deadlock(...) and deterministic(...) operators.
Updated copyright license dates.
'deadlock(...)' and 'determinisitic(...)' should be parsed as atomic propositions.
Added a new AP operator ('controller(e1,...,ek)') to the Ltl grammar.