procedure for handling of tidsrelationer

摘要

The method involves diving disjunctions into three set. The first containing disjunction that do not contain any relations of type . Secondly those disjunctions that only contain relations of type. Thirdly containing other disjunctions. - The disjunctions are processed as follows, satisfiability of the disjunctions in the first set tested by a method for solving equations. Then satisfiability of the disjunctions in the second set tested by dividing the disjunctions into their respective subrelactions which are separately tested for satisfiability together with the relations in the first set by a method for solving equations. - Finally satisfiability of the disjunctions in the third set tested by dividing the disjunctions into their respective subrelations and separately test the subrelations of the type separately together with the relation in the first set, by a method for solving equations. If no combinations is satisfiable the disjunction is replaced by the unique relation in the disjunction which is not related by after which the complete method is applied to this modified problem.