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

Packages that use Pattern.Variable

Package	Description
eu.bandm.tools.ops

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

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

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

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

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