Class TPath.Visitor

java.lang.Object
eu.bandm.tools.tpath.absy.TPath.MATCH_ONLY_00
eu.bandm.tools.tpath.absy.TPath.Visitor
Direct Known Subclasses:
SimpleInterpreter.Visitor, TPathCache.PredicateChecker
Enclosing class:
TPath

public static class TPath.Visitor extends TPath.MATCH_ONLY_00
Visitor generated by umod according to field selection #0.

The flavour of this visitor has been set to MULTIPHASE. See the pretty printed source file. For details see the user documentation.