Package eu.bandm.tools.paisley

Class SendMoreMoney

java.lang.Object

eu.bandm.tools.paisley.SendMoreMoney

class SendMoreMoney
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	SendMoreMoney.PartialSum

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static Variable<Integer>	d
(package private) static Observable<Integer>	d2
(package private) static Motif<Integer,Iterable<? extends Integer>>	digit
(package private) static final List<Integer>	digits
(package private) static Variable<Integer>	e
(package private) static Observable<Integer>	e2
(package private) static Pattern<Iterable<? extends Integer>>	generate
(package private) static Variable<Integer>	m
(package private) static Observable<Integer>	m2
(package private) static Variable<Integer>	n
(package private) static Observable<Integer>	n2
(package private) static Variable<Integer>	o
(package private) static Observable<Integer>	o2
(package private) static Variable<Integer>	r
(package private) static Observable<Integer>	r2
(package private) static Variable<Integer>	s
(package private) static Observable<Integer>	s2
(package private) static Pattern<Object>	sendMoreMoney
(package private) static Pattern<Object>	sendMoreMoney2
(package private) static Pattern<Object>	test
(package private) static List<Variable<Integer>>	vars
(package private) static List<Observable<Integer>>	vars2
(package private) static Variable<Integer>	y
(package private) static Observable<Integer>	y2

Constructor Summary

Constructors

Constructor	Description
SendMoreMoney()

Method Summary

Modifier and Type	Method	Description
(package private) static Pattern<Object>	allDifferent(List<? extends Variable<?>> vs)
(package private) static Pattern<Iterable<? extends Integer>>	digit(Pattern<? super Integer> p)
(package private) static <A, B> Pattern<B>	genAllDifferent(Motif<A,B> m, List<? extends Variable<A>> vs)
(package private) static <A, B> Pattern<B>	genAllDifferent2(Motif<A,B> m, List<? extends Observable<A>> vs)
(package private) static <B> Pattern<B>	genPartialSums(Motif<Integer,B> m, List<? extends Variable<Integer>> as, List<? extends Variable<Integer>> bs, List<? extends Variable<Integer>> cs)
(package private) static <B> Pattern<B>	genPartialSums2(Motif<Integer,B> m, List<? extends Observable<Integer>> as, List<? extends Observable<Integer>> bs, List<? extends Observable<Integer>> cs)
static void	main(String[] args)
(package private) static int	number(Variable<Integer>... vs)
(package private) static int	number(List<? extends Variable<Integer>> vs)
(package private) static SendMoreMoney.PartialSum[]	partialSums(List<? extends Variable<Integer>> as, List<? extends Variable<Integer>> bs, List<? extends Variable<Integer>> cs)
(package private) static SendMoreMoney.PartialSum[]	partialSums2(List<? extends Observable<Integer>> as, List<? extends Observable<Integer>> bs, List<? extends Observable<Integer>> cs)
(package private) static void	test(Pattern<Iterable<? extends Integer>> p)
(package private) static void	test(Pattern<Iterable<? extends Integer>> p, List<? extends Integer> digits, List<? extends Variable<Integer>> vars)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

s

static Variable<Integer> s

e

static Variable<Integer> e

n

static Variable<Integer> n

d

static Variable<Integer> d

m

static Variable<Integer> m

o

static Variable<Integer> o

r

static Variable<Integer> r

y

static Variable<Integer> y

vars

static List<Variable<Integer>> vars

s2

static Observable<Integer> s2

e2

static Observable<Integer> e2

n2

static Observable<Integer> n2

d2

static Observable<Integer> d2

m2

static Observable<Integer> m2

o2

static Observable<Integer> o2

r2

static Observable<Integer> r2

y2

static Observable<Integer> y2

vars2

static List<Observable<Integer>> vars2

generate

static Pattern<Iterable<? extends Integer>> generate

sendMoreMoney

static Pattern<Object> sendMoreMoney

sendMoreMoney2

static Pattern<Object> sendMoreMoney2

test

static Pattern<Object> test

digits

static final List<Integer> digits

digit

static Motif<Integer,Iterable<? extends Integer>> digit

Constructor Details

SendMoreMoney

SendMoreMoney()

Method Details

digit

static Pattern<Iterable<? extends Integer>> digit(Pattern<? super Integer> p)

allDifferent

static Pattern<Object> allDifferent(List<? extends Variable<?>> vs)

genAllDifferent

static <A,
B> Pattern<B> genAllDifferent(Motif<A,B> m,
 List<? extends Variable<A>> vs)

genAllDifferent2

static <A,
B> Pattern<B> genAllDifferent2(Motif<A,B> m,
 List<? extends Observable<A>> vs)

number

static int number(List<? extends Variable<Integer>> vs)

number

static int number(Variable<Integer>... vs)

partialSums

static SendMoreMoney.PartialSum[] partialSums(List<? extends Variable<Integer>> as,
 List<? extends Variable<Integer>> bs,
 List<? extends Variable<Integer>> cs)

genPartialSums

static <B> Pattern<B> genPartialSums(Motif<Integer,B> m,
 List<? extends Variable<Integer>> as,
 List<? extends Variable<Integer>> bs,
 List<? extends Variable<Integer>> cs)

partialSums2

static SendMoreMoney.PartialSum[] partialSums2(List<? extends Observable<Integer>> as,
 List<? extends Observable<Integer>> bs,
 List<? extends Observable<Integer>> cs)

genPartialSums2

static <B> Pattern<B> genPartialSums2(Motif<Integer,B> m,
 List<? extends Observable<Integer>> as,
 List<? extends Observable<Integer>> bs,
 List<? extends Observable<Integer>> cs)

main

public static void main(String[] args)

test

static void test(Pattern<Iterable<? extends Integer>> p)

test

static void test(Pattern<Iterable<? extends Integer>> p,
 List<? extends Integer> digits,
 List<? extends Variable<Integer>> vars)