Package eu.bandm.tools.paisley

Class SendMoreMoney.PartialSum

java.lang.Object

eu.bandm.tools.paisley.SendMoreMoney.PartialSum

Enclosing class:

SendMoreMoney

abstract static class SendMoreMoney.PartialSum
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Set<Variable<Integer>>	dependencies

Constructor Summary

Constructors

Constructor	Description
PartialSum(Set<? extends Variable<Integer>> dependencies)

Method Summary

Modifier and Type	Method	Description
(package private) abstract Pattern<Object>	getConstraint()

Methods inherited from class java.lang.Object

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

Field Details

dependencies

Set<Variable<Integer>> dependencies

Constructor Details

PartialSum

PartialSum(Set<? extends Variable<Integer>> dependencies)

Method Details

getConstraint

abstract Pattern<Object> getConstraint()