Package owl.ltl.algorithms
Class LanguageAnalysis
- java.lang.Object
-
- owl.ltl.algorithms.LanguageAnalysis
-
public final class LanguageAnalysis extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static boolean
isSatisfiable(Formula formula)
static boolean
isUniversal(Formula formula)
static boolean
isUnsatisfiable(Formula formula)
-