Esempi in C# (CSharp) per CTLSAT FormulaNode.ImplementComplexOperators

Esempio n. 1

File: CTLSatisfiabilityChecker.cs Progetto: Mickelbil84/ctlsat

 public CTLSatisfiabilityChecker(FormulaNode formula)
 {
     normalized = formula.ImplementComplexOperators().NNF();
     elementary = CTLUtils.positiveElementary(normalized);
 }