org.processmining.ltl2automaton.plugins.formula.conjunction

Interface ConjunctionFactory<T extends Conjunction>

public interface ConjunctionFactory<T extends Conjunction>

Method Summary

Modifier and Type	Method and Description
T	instance()
T	instance(java.util.Collection<Formula> terms)
T	instance(Formula terms)

Method Detail

instance

T instance()

instance

T instance(java.util.Collection<Formula> terms)

instance

T instance(Formula terms)