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

Packages that use Constraint

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

Uses of Constraint in eu.bandm.tools.paisley

Subclasses of Constraint in eu.bandm.tools.paisley

Modifier and Type	Class	Description
class	Observer

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

Modifier and Type	Method	Description
static Constraint	Constraint.all(Constraint... cs)
static Constraint	Constraint.all(List<? extends Constraint> cs)
(package private) <A> Constraint	CryptArith.allDifferent(Collection<Variable<A>> vars)
Constraint	CryptArith.PartialSum.getConstraint()
(package private) <A> Constraint	CryptArith.neq(Variable<A> v, A a)
(package private) <A> Constraint	CryptArith.neq(Variable<A> v, Variable<A> w)
static Constraint	Constraint.some(Constraint... cs)
static Constraint	Constraint.some(List<? extends Constraint> cs)

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

Modifier and Type	Method	Description
static Constraint	Constraint.all(Constraint... cs)
static Constraint	Constraint.some(Constraint... cs)

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

Modifier and Type	Method	Description
static Constraint	Constraint.all(List<? extends Constraint> cs)
static Constraint	Constraint.some(List<? extends Constraint> cs)