Uses of Class
eu.bandm.tools.tpath.absy.TPath.Leq

Packages that use TPath.Leq
Package
Description
Abstract syntax of the tpath language, realized as a umod model.
Infrastructure for evaluating tpath expressions.