public class FormulaTools
extends java.lang.Object
| Constructor and Description |
|---|
FormulaTools() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
acceptsAllInit(java.util.Map<ConjunctionTreeNode,Automaton> cache,
Formula formula) |
static boolean |
containsNext(Formula f) |
static java.util.Collection<java.lang.String> |
getAtomicPropositions(Formula f) |
public static boolean acceptsAllInit(java.util.Map<ConjunctionTreeNode,Automaton> cache, Formula formula)
public static boolean containsNext(Formula f)
public static java.util.Collection<java.lang.String> getAtomicPropositions(Formula f)