Uses of Interface
org.processmining.ltl2automaton.plugins.formula.conjunction.Lambda

Packages that use Lambda

Package	Description
org.processmining.ltl2automaton.plugins.formula.conjunction

Uses of Lambda in org.processmining.ltl2automaton.plugins.formula.conjunction

Methods in org.processmining.ltl2automaton.plugins.formula.conjunction with parameters of type Lambda

Modifier and Type	Method and Description
protected Automaton	ConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
protected Automaton	ConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
protected Automaton	ThreadedConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
protected Automaton	ThreadedConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)