Package eu.bandm.tools.tpath.absy
Class Util
java.lang.Object
eu.bandm.tools.tpath.absy.Util
-
Method Summary
Modifier and TypeMethodDescriptionstatic boolean
isAbsolute
(TPath.Expr expr) static boolean
isClosed
(TPath.Expr expr) static boolean
isClosed
(TPath.Expr expr, int bound)
-
Method Details
-
isAbsolute
-
isClosed
-
isClosed
-