Uses of Class
eu.bandm.tools.paisley.Variable

Packages that use Variable

Package	Description
eu.bandm.tools.paisley	A modular implementation of pattern matching on arbitrary objects.

Uses of Variable in eu.bandm.tools.paisley

Methods in eu.bandm.tools.paisley that return Variable

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

Methods in eu.bandm.tools.paisley with parameters of type Variable

Modifier and Type	Method and Description
boolean	Unary.binds(Variable<?> var)
boolean	Atomic.binds(Variable<?> v)
boolean	Variable.binds(Variable<?> var)
boolean	Pattern.binds(Variable<?> var) Checks whether a variable is bound by this pattern.
boolean	IntBranch.binds(Variable<?> v)
boolean	EnumBranch.binds(Variable<?> v)
<B> Motif<B,A>	Pattern.compileUpTo(Variable<B> hole)
boolean	Unary.preserves(Variable<?> var)
boolean	Atomic.preserves(Variable<?> v)
boolean	Variable.preserves(Variable<?> var)
boolean	Pattern.preserves(Variable<?> var) Checks whether a variable is preserved by this pattern, unconditionally.
boolean	IntBranch.preserves(Variable<?> v)
boolean	EnumBranch.preserves(Variable<?> v)
boolean	Unary.preserves(Variable<?> var, boolean success)
boolean	Atomic.preserves(Variable<?> v, boolean success)
boolean	Variable.preserves(Variable<?> var, boolean success)
boolean	Pattern.preserves(Variable<?> var, boolean success) Checks whether a variable is preserved by this pattern, conditionally on success or failure.
boolean	IntBranch.preserves(Variable<?> v, boolean success)
boolean	EnumBranch.preserves(Variable<?> v, boolean success)

Constructors in eu.bandm.tools.paisley with parameters of type Variable

Constructor and Description
Observable(Variable<A> variable)
Theme(Pattern<? super B> body, Variable<A> arg)