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 booleanisEqual(Formula formula1, Formula formula2)static booleanisSatisfiable(Formula formula)static booleanisUniversal(Formula formula)static booleanisUnsatisfiable(Formula formula)
-