Package eu.bandm.tools.paisley

Class CryptArith

java.lang.Object

eu.bandm.tools.paisley.CryptArith

public class CryptArith
extends Object

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor	Description
CryptArith(int base, String... args)

Method Summary

Modifier and Type	Method	Description
(package private) <A> Constraint	allDifferent(Collection<Variable<A>> vars)
(package private) Collection<Integer>	digits()
(package private) Motif<Integer,Iterable<? extends Integer>>	domain()
(package private) <A, B> Pattern<B>	generate(Motif<A,B> m, Collection<Variable<A>> vars)
(package private) <A, B> Pattern<B>	generateAllDifferent(Motif<A,B> m, Collection<Variable<A>> vars)
(package private) <B> Pattern<B>	generatePartialSums(Motif<Integer,B> m)
static void	main(String[] args)
(package private) <A> Constraint	neq(Variable<A> v, A a)
(package private) <A> Constraint	neq(Variable<A> v, Variable<A> w)
(package private) Pattern<Iterable<? extends Integer>>	solution()
Pattern<Iterable<? extends Integer>>	strategy1()
Pattern<Iterable<? extends Integer>>	strategy2()
Pattern<Iterable<? extends Integer>>	strategy3()
Pattern<Iterable<? extends Integer>>	strategy4()
Pattern<Iterable<? extends Integer>>	strategy5()
(package private) void	test(boolean compile)
Runnable	test(Pattern<Iterable<? extends Integer>> p)
(package private) static double	time(Runnable r)

Methods inherited from class java.lang.Object

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

Constructor Details

CryptArith

public CryptArith(int base,
 String... args)

Method Details

neq

<A> Constraint neq(Variable<A> v,
 A a)

neq

<A> Constraint neq(Variable<A> v,
 Variable<A> w)

allDifferent

<A> Constraint allDifferent(Collection<Variable<A>> vars)

generateAllDifferent

<A,
B> Pattern<B> generateAllDifferent(Motif<A,B> m,
 Collection<Variable<A>> vars)

digits

Collection<Integer> digits()

domain

Motif<Integer,Iterable<? extends Integer>> domain()

generate

<A,
B> Pattern<B> generate(Motif<A,B> m,
 Collection<Variable<A>> vars)

strategy1

public Pattern<Iterable<? extends Integer>> strategy1()

strategy2

public Pattern<Iterable<? extends Integer>> strategy2()

strategy3

public Pattern<Iterable<? extends Integer>> strategy3()

strategy4

public Pattern<Iterable<? extends Integer>> strategy4()

strategy5

public Pattern<Iterable<? extends Integer>> strategy5()

generatePartialSums

<B> Pattern<B> generatePartialSums(Motif<Integer,B> m)

solution

Pattern<Iterable<? extends Integer>> solution()

time

static double time(Runnable r)

test

public Runnable test(Pattern<Iterable<? extends Integer>> p)

test

void test(boolean compile)

main

public static void main(String[] args)