ca.uqac.lif.ecp.ltl

Class HologramHasher<T extends Event>

java.lang.Object

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

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

Type Parameters:

T - The event type

public class HologramHasher<T extends Event>
extends HologramVisitor<T>

Creates a string "hash" from an evaluation tree. The hash corresponds to symboles denoting the nodes encountered along a prefix traversal of the evaluation tree.

Author:

Sylvain Hallé

Constructor Summary

Constructors

Constructor and Description
HologramHasher()

Method Summary

Modifier and Type	Method and Description
void	backtrack(int count)
java.lang.String	getHash(Operator<T> op)
protected static java.lang.String	trimLastArrows(java.lang.String s)
void	visit(Operator<T> op, int count)

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

backtrack, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

HologramHasher

public HologramHasher()

Method Detail

getHash

public java.lang.String getHash(Operator<T> op)

visit

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

Specified by:

visit in class HologramVisitor<T extends Event>

backtrack

public void backtrack(int count)

Overrides:

backtrack in class HologramVisitor<T extends Event>

trimLastArrows

protected static java.lang.String trimLastArrows(java.lang.String s)