ca.uqac.lif.ecp.ltl

Class HologramVisitor<T extends Event>

java.lang.Object

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

Direct Known Subclasses:

AtomicLtlCayleyGraphFactory.AtomCollector, GraphvizHologramRenderer, HologramHasher, HtmlBeautifier

public abstract class HologramVisitor<T extends Event>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
HologramVisitor()

Method Summary

Modifier and Type	Method and Description
void	backtrack()
void	backtrack(int count)
void	visit(Operator<T> op)
abstract void	visit(Operator<T> op, int count)

Methods inherited from class java.lang.Object

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

Constructor Detail

HologramVisitor

public HologramVisitor()

Method Detail

visit

public final void visit(Operator<T> op)

backtrack

public final void backtrack()

visit

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

backtrack

public void backtrack(int count)