org.processmining.ltl2automaton.plugins.formula.conjunction

Class CacheTools

java.lang.Object

org.processmining.ltl2automaton.plugins.formula.conjunction.CacheTools

public class CacheTools
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CacheTools()

Method Summary

Modifier and Type	Method and Description
static java.util.Map<ConjunctionTreeNode,Automaton>	getCached(ConjunctionTreeNode node)
static void	set(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches, ConjunctionTreeNode node)
static void	setCaches(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches, ConjunctionTreeNode node)

Methods inherited from class java.lang.Object

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

Constructor Detail

CacheTools

public CacheTools()

Method Detail

getCached

public static java.util.Map<ConjunctionTreeNode,Automaton> getCached(ConjunctionTreeNode node)

set

public static void set(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches,
                       ConjunctionTreeNode node)

setCaches

public static void setCaches(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches,
                             ConjunctionTreeNode node)