Uses of Class
eu.bandm.tools.ops.Pattern.Variable

Packages that use Pattern.Variable

Package	Description
eu.bandm.tools.ops	Types for fundamental mathematical structures, plus libraries of respective constants and operators.

Uses of Pattern.Variable in eu.bandm.tools.ops

Methods in eu.bandm.tools.ops that return Pattern.Variable

Modifier and Type	Method	Description
static <A> Pattern.Variable<A>	Pattern.variable()	Deprecated. Creates a new anonymous pattern variable.
static <A> Pattern.Variable<A>	Pattern.variable(String name)	Deprecated. Creates a new named pattern variable.

Methods in eu.bandm.tools.ops with parameters of type Pattern.Variable

Modifier and Type	Method	Description
boolean	Pattern.Atomic.bindsVariable(Pattern.Variable v)
abstract boolean	Pattern.bindsVariable(Pattern.Variable x)	Deprecated.
boolean	Pattern.Unary.bindsVariable(Pattern.Variable v)
boolean	Pattern.Variable.bindsVariable(Pattern.Variable v)
boolean	Pattern.Atomic.disturbsVariable(Pattern.Variable v)
abstract boolean	Pattern.disturbsVariable(Pattern.Variable x)	Deprecated.
boolean	Pattern.Unary.disturbsVariable(Pattern.Variable v)
boolean	Pattern.Variable.disturbsVariable(Pattern.Variable v)
boolean	Pattern.Atomic.savesVariable(Pattern.Variable v)
abstract boolean	Pattern.savesVariable(Pattern.Variable x)	Deprecated.
boolean	Pattern.Unary.savesVariable(Pattern.Variable v)
boolean	Pattern.Variable.savesVariable(Pattern.Variable v)