ca.uqac.lif.ecp.ltl

Class LtlCayleyGraphFactory<T extends Event>

java.lang.Object

ca.uqac.lif.ecp.CayleyGraphFactory<T,Operator<T>>

ca.uqac.lif.ecp.ltl.LtlCayleyGraphFactory<T>

Direct Known Subclasses:

AtomicLtlCayleyGraphFactory

public abstract class LtlCayleyGraphFactory<T extends Event>
extends CayleyGraphFactory<T,Operator<T>>

Cayley graph factory whose triaging function is a based on an LTL formula

Author:

Sylvain Hallé

Nested Class Summary

Nested classes/interfaces inherited from class ca.uqac.lif.ecp.CayleyGraphFactory

CayleyGraphFactory.VertexEventTracePair

Field Summary

Fields inherited from class ca.uqac.lif.ecp.CayleyGraphFactory

MAX_ITERATIONS

Method Summary

Methods inherited from class ca.uqac.lif.ecp.CayleyGraphFactory

getGraph, getGraph, getNextEvents

Methods inherited from class java.lang.Object

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