public final class Fragments
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static boolean |
isAlmostAll(Formula formula) |
|
static boolean |
isCoSafety(Formula formula) |
|
static boolean |
isDetBuchiRecognisable(Formula formula) |
|
static boolean |
isDetCoBuchiRecognisable(Formula formula) |
|
static boolean |
isFgx(Formula formula) |
|
static boolean |
isFinite(Formula formula) |
|
static boolean |
isInfinitelyOften(Formula formula) |
|
static boolean |
isSafety(Formula formula) |
|
static boolean |
isSingleStep(Formula formula) |
public static boolean isAlmostAll(Formula formula)
public static boolean isCoSafety(Formula formula)
public static boolean isDetBuchiRecognisable(Formula formula)
public static boolean isDetCoBuchiRecognisable(Formula formula)
public static boolean isFgx(Formula formula)
public static boolean isSingleStep(Formula formula)
public static boolean isFinite(Formula formula)
public static boolean isInfinitelyOften(Formula formula)
public static boolean isSafety(Formula formula)