Create Conflicts method
MarcStorm opened this issue · comments
Create method that returns true or false corresponding to whether to sets of predicates conflicts with each other.
It is assumed that all ltl formulas are simplified (i.e. double negations are removed)