Package 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	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 Details

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)