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

Packages that use Variable

Package	Description
eu.bandm.tools.paisley	A modular implementation of nondeterministic 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	Description
final Variable<A>	Variable.fork()	Makes a copy of this pattern with independent internal state.
Variable<A>	Theme.getArgument()	Returns the argument variable.
static <A> Variable<A>	Pattern.variable()	Creates a new anonymous pattern variable.
static <A> Variable<A>	Pattern.variable(@Opt String name)	Creates a new named pattern variable.

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

Modifier and Type	Method	Description
final boolean	Atomic.binds(Variable<?> v)	Checks whether a variable is bound by this pattern.
boolean	Both.binds(Variable<?> v)	Checks whether a variable is bound by this pattern.
boolean	Either.binds(Variable<?> v)	Checks whether a variable is bound by this pattern.
boolean	EnumBranch.binds(Variable<?> v)	Checks whether a variable is bound by this pattern.
boolean	IntBranch.binds(Variable<?> v)	Checks whether a variable is bound by this pattern.
default boolean	Pattern.binds(Variable<?> variable)	Checks whether a variable is bound by this pattern.
boolean	Unary.binds(Variable<?> variable)	Checks whether a variable is bound by this pattern.
boolean	Variable.binds(Variable<?> variable)	Checks whether a variable is bound by this pattern.
final boolean	Atomic.preserves(Variable<?> v)	Checks whether a variable is preserved by this pattern unconditionally.
final boolean	Atomic.preserves(Variable<?> v, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.
boolean	Both.preserves(Variable<?> v, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.
boolean	Either.preserves(Variable<?> v)	Checks whether a variable is preserved by this pattern unconditionally.
boolean	Either.preserves(Variable<?> v, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.
boolean	EnumBranch.preserves(Variable<?> v)	Checks whether a variable is preserved by this pattern unconditionally.
boolean	EnumBranch.preserves(Variable<?> v, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.
boolean	IntBranch.preserves(Variable<?> v)	Checks whether a variable is preserved by this pattern unconditionally.
boolean	IntBranch.preserves(Variable<?> v, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.
default boolean	Pattern.preserves(Variable<?> variable)	Checks whether a variable is preserved by this pattern unconditionally.
default boolean	Pattern.preserves(Variable<?> variable, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.
boolean	Unary.preserves(Variable<?> variable)	Checks whether a variable is preserved by this pattern unconditionally.
boolean	Unary.preserves(Variable<?> variable, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.
boolean	Variable.preserves(Variable<?> variable)	Checks whether a variable is preserved by this pattern unconditionally.
boolean	Variable.preserves(Variable<?> variable, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.

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

Modifier	Constructor	Description
	Observable(Variable<A> variable)	Deprecated.
	Theme(Pattern<? super B> body, Variable<A> arg)	Creates a new instance.