Package owl.ltl.algorithms

Class LanguageAnalysis

java.lang.Object

owl.ltl.algorithms.LanguageAnalysis

public final class LanguageAnalysis
extends Object

Method Summary

Modifier and Type	Method	Description
static boolean	isEqual(Formula formula1, Formula formula2)
static boolean	isSatisfiable(Formula formula)
static boolean	isUniversal(Formula formula)
static boolean	isUnsatisfiable(Formula formula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

isSatisfiable

public static boolean isSatisfiable(Formula formula)

isUnsatisfiable

public static boolean isUnsatisfiable(Formula formula)

isUniversal

public static boolean isUniversal(Formula formula)

isEqual

public static boolean isEqual(Formula formula1,
                              Formula formula2)