Uses of Class
eu.bandm.tools.tpath.type.Numerus

Packages that use Numerus

Package	Description
eu.bandm.tools.tpath.type	Type checking for tpath expressions.

Uses of Numerus in eu.bandm.tools.tpath.type

Methods in eu.bandm.tools.tpath.type that return Numerus

Modifier and Type	Method and Description
static Numerus	Numerus.add(Numerus... args)
static Numerus	Numerus.any()
static Numerus	Numerus.atLeast(int min)
static Numerus	Numerus.empty()
static Numerus	Numerus.interval(int min, int max)
Numerus	Numerus.optional()
Numerus	Numerus.plus()
static Numerus	Numerus.precisely(int n)
Numerus	Numerus.star()
static Numerus	Numerus.union(Numerus... args)

Methods in eu.bandm.tools.tpath.type with parameters of type Numerus

Modifier and Type	Method and Description
static Numerus	Numerus.add(Numerus... args)
protected boolean	Numerus.equals(Numerus n)
static Numerus	Numerus.union(Numerus... args)