org.processmining.ltl2automaton.plugins.formula.conjunction

Class FormulaTools

java.lang.Object

org.processmining.ltl2automaton.plugins.formula.conjunction.FormulaTools

public class FormulaTools
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
FormulaTools()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaTools

public FormulaTools()

Method Detail

acceptsAllInit

public static boolean acceptsAllInit(java.util.Map<ConjunctionTreeNode,Automaton> cache,
                                     Formula formula)

containsNext

public static boolean containsNext(Formula f)

getAtomicPropositions

public static java.util.Collection<java.lang.String> getAtomicPropositions(Formula f)