ca.uqac.lif.ecp.ltl

Class AtomicLtlCayleyGraphFactory.AtomCollector

java.lang.Object

ca.uqac.lif.ecp.ltl.HologramVisitor<AtomicEvent>

ca.uqac.lif.ecp.ltl.AtomicLtlCayleyGraphFactory.AtomCollector

Enclosing class:

AtomicLtlCayleyGraphFactory

protected static class AtomicLtlCayleyGraphFactory.AtomCollector
extends HologramVisitor<AtomicEvent>

Visitor that collects all the atoms occurring in the formula

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<AtomicEvent>	m_collectedEvents

Constructor Summary

Constructors

Constructor and Description
AtomCollector()

Method Summary

Modifier and Type	Method and Description
java.util.Set<AtomicEvent>	getEvents()
void	visit(Operator<AtomicEvent> op, int count)

Methods inherited from class ca.uqac.lif.ecp.ltl.HologramVisitor

backtrack, backtrack, visit

Methods inherited from class java.lang.Object

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

Field Detail

m_collectedEvents

protected java.util.Set<AtomicEvent> m_collectedEvents

Constructor Detail

AtomCollector

public AtomCollector()

Method Detail

visit

public void visit(Operator<AtomicEvent> op,
                  int count)

Specified by:

visit in class HologramVisitor<AtomicEvent>

getEvents

public java.util.Set<AtomicEvent> getEvents()