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<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<Integer>>	strategy1()
Pattern<Iterable<Integer>>	strategy2()
Pattern<Iterable<Integer>>	strategy3()
Pattern<Iterable<Integer>>	strategy4()
Pattern<Iterable<Integer>>	strategy5()
(package private) void	test(boolean compile)
Runnable	test(Pattern<Iterable<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<Integer>> domain()

generate

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

strategy1

public Pattern<Iterable<Integer>> strategy1()

strategy2

public Pattern<Iterable<Integer>> strategy2()

strategy3

public Pattern<Iterable<Integer>> strategy3()

strategy4

public Pattern<Iterable<Integer>> strategy4()

strategy5

public Pattern<Iterable<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<Integer>> p)

test

void test(boolean compile)

main

public static void main(String[] args)