示例#1
0
 public CTLSatisfiabilityChecker(FormulaNode formula)
 {
     normalized = formula.ImplementComplexOperators().NNF();
     elementary = CTLUtils.positiveElementary(normalized);
 }