edu.luc.cs.trull.tl
Class FringeVisitor

java.lang.Object
  edu.luc.cs.trull.tl.VisitorAdapter
      edu.luc.cs.trull.tl.FringeVisitor

All Implemented Interfaces:

Visitor

final class FringeVisitor
extends VisitorAdapter

A visitor that walks along the fringe of a temporal logic expression.

Field Summary

private java.util.List

fringe

Constructor Summary

FringeVisitor()

Method Summary

java.util.List	getFringe()
void	visitLeaf(Leaf e)

Methods inherited from class edu.luc.cs.trull.tl.VisitorAdapter

visitAllPast, visitAnd, visitBackTo, visitExpr, visitImplies, visitNot, visitOnce, visitOr, visitPrevious, visitSince

Methods inherited from class java.lang.Object

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

Field Detail

fringe

private java.util.List fringe

Constructor Detail

FringeVisitor

FringeVisitor()

Method Detail

getFringe

public java.util.List getFringe()

visitLeaf

public void visitLeaf(Leaf e)

Specified by:

visitLeaf in interface Visitor

Overrides:

visitLeaf in class VisitorAdapter