eu.bandm.tools.tpath.absy

Class Util

java.lang.Object

eu.bandm.tools.tpath.absy.Util

public abstract class Util
extends Object

Method Summary

Modifier and Type	Method and Description
static boolean	isAbsolute(TPath.Expr expr)
static boolean	isClosed(TPath.Expr expr)
static boolean	isClosed(TPath.Expr expr, int bound)

Methods inherited from class java.lang.Object

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

Method Detail

isAbsolute

public static boolean isAbsolute(TPath.Expr expr)

isClosed

public static boolean isClosed(TPath.Expr expr)

isClosed

public static boolean isClosed(TPath.Expr expr,
                               int bound)