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

Fields in eu.bandm.tools.paisley declared as Variable

Modifier and Type	Field	Description
(package private) static Variable<Integer>	SendMoreMoney.d
(package private) static Variable<Integer>	SendMoreMoney.e
(package private) static Variable<Integer>	SendMoreMoney.m
(package private) static Variable<Integer>	SendMoreMoney.n
(package private) static Variable<Integer>	SendMoreMoney.o
(package private) static Variable<Integer>	SendMoreMoney.r
(package private) static Variable<Integer>	SendMoreMoney.s
(package private) static Variable<Integer>	SendMoreMoney.y

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

Modifier and Type	Field	Description
(package private) Set<Variable<Integer>>	SendMoreMoney.PartialSum.dependencies
(package private) static List<Variable<Integer>>	SendMoreMoney.vars

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

Modifier and Type	Method	Description
Variable<A>	Variable.clone()	Subpatterns that are instances of Variable must be shared.
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 that return types with arguments of type Variable

Modifier and Type	Method	Description
Set<Variable<Integer>>	CryptArith.PartialSum.getDependencies()

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	EnumBranch.binds(Variable<?> v)
boolean	IntBranch.binds(Variable<?> v)
boolean	Pattern.binds(Variable<?> variable)	Checks whether a variable is bound by this pattern.
boolean	Pattern.Either.binds(Variable<?> v)
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.
<B> Motif<B,A>	Pattern.compileUpTo(Variable<B> hole)
(package private) <A> Constraint	CryptArith.neq(Variable<A> v, A a)
(package private) <A> Constraint	CryptArith.neq(Variable<A> v, Variable<A> w)
(package private) static int	SendMoreMoney.number(Variable<Integer>... vs)
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	EnumBranch.preserves(Variable<?> v)
boolean	EnumBranch.preserves(Variable<?> v, boolean success)
boolean	IntBranch.preserves(Variable<?> v)
boolean	IntBranch.preserves(Variable<?> v, boolean success)
boolean	Pattern.Either.preserves(Variable<?> v)
boolean	Pattern.Either.preserves(Variable<?> v, boolean success)
boolean	Pattern.preserves(Variable<?> variable)	Checks whether a variable is preserved by this pattern, unconditionally.
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)
boolean	Variable.preserves(Variable<?> variable, boolean success)	Checks whether a variable is preserved by this pattern, conditionally on success or failure.

Method parameters in eu.bandm.tools.paisley with type arguments of type Variable

Modifier and Type	Method	Description
(package private) <A> Constraint	CryptArith.allDifferent(Collection<Variable<A>> vars)
(package private) static Pattern<Object>	SendMoreMoney.allDifferent(List<? extends Variable<?>> vs)
(package private) static <A, B> Pattern<B>	SendMoreMoney.genAllDifferent(Motif<A,B> m, List<? extends Variable<A>> vs)
(package private) <A, B> Pattern<B>	CryptArith.generate(Motif<A,B> m, Collection<Variable<A>> vars)
(package private) <A, B> Pattern<B>	CryptArith.generateAllDifferent(Motif<A,B> m, Collection<Variable<A>> vars)
(package private) static <B> Pattern<B>	SendMoreMoney.genPartialSums(Motif<Integer,B> m, List<? extends Variable<Integer>> as, List<? extends Variable<Integer>> bs, List<? extends Variable<Integer>> cs)
(package private) static int	SendMoreMoney.number(List<? extends Variable<Integer>> vs)
(package private) static SendMoreMoney.PartialSum[]	SendMoreMoney.partialSums(List<? extends Variable<Integer>> as, List<? extends Variable<Integer>> bs, List<? extends Variable<Integer>> cs)

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

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

Constructor parameters in eu.bandm.tools.paisley with type arguments of type Variable

Modifier	Constructor	Description
(package private)	PartialSum(int length, Set<? extends Variable<Integer>> dependencies, String... args)
(package private)	PartialSum(Set<? extends Variable<Integer>> dependencies)