Inheritance diagram for frodo2.solutionSpaces.AddableInteger:

[legend]

Classes
class	PlusInfinity
	This class implements the plus infinity element. More...
class	MinInfinity
	This class implements the minus infinity element. More...
class	AddableIntegerDelayed
	Class used to make the addition of a large number of integers more efficient. More...

Public Member Functions
	AddableInteger ()
	Empty constructor for creating zero, plus and minus infinity.
	AddableInteger (int integer)
void	writeExternal (ObjectOutput arg0) throws IOException
void	readExternal (ObjectInput arg0) throws IOException, ClassNotFoundException
final boolean	externalize ()
Object	readResolve ()
AddableInteger	fromString (final String str)
AddableInteger	fromInt (int nbr)
int	intValue ()
double	doubleValue ()
String	toString ()
AddableInteger	add (final AddableInteger o)
	Adds this AddableInteger with another AddableInteger.
AddableInteger	add (int o)
	Adds an int to the value of this AddableInteger.
AddableInteger	subtract (final AddableInteger o)
	Subtracts another AddableInteger from this AddableInteger.
AddableInteger	subtract (int o)
	Subtracts an integer from this addable integer.
AddableInteger	multiply (final AddableInteger o)
	Multiplies this AddableInteger with another AddableInteger.
AddableInteger	divide (final AddableInteger o)
AddableInteger	min (final AddableInteger o)
	Computes the min of two AddableIntegers.
AddableInteger	max (final AddableInteger o)
	Computes the max of two AddableIntegers.
AddableInteger	abs ()
int	compareTo (final AddableInteger o)
	Compares this AddableInteger with another.
boolean	equals (final Object o)
int	hashCode ()
AddableInteger	getZero ()
AddableInteger	getPlusInfinity ()
AddableInteger	getMinInfinity ()
AddableInteger	flipSign ()
Addable< AddableInteger >[]	range (AddableInteger begin, AddableInteger end)
AddableDelayed< AddableInteger >	addDelayed ()
Public Member Functions inherited from frodo2.solutionSpaces.Addable< AddableInteger >
int	intValue ()
double	doubleValue ()
T	fromString (String str)
	Parses a string to construct a new instance.
T	fromInt (int nbr)
	Creates an instance from an int.
T	add (T o)
	Adds an object to this object.
AddableDelayed< T >	addDelayed ()
	Creates an object with the same value as this object, used to delay the resolution of a large number of additions.
T	subtract (T o)
	Subtracts an object from this object.
T	multiply (T o)
	Multiplies an object with this object.
boolean	equals (Object o)
	The equals function must be implemented so that the hashmap storing the steps for each value can find the proper step for the provided value.
int	hashCode ()
	The hashCode function must be implemented so that the hashmap storing the steps for each value can find the proper step for the provided value.
T	getZero ()
	Returns a neutral object for the addition operation ("zero").
T	getPlusInfinity ()
	Returns the "+infinity" object.
T	getMinInfinity ()
	Returns the "-infinity" object.
T	abs ()
T	divide (T o)
T	flipSign ()
	Flip the sign of this number.
Addable< T >[]	range (T begin, T end)
	Returns an array containing all the values between `begin` and `end`.

Private Member Functions
boolean	warnTruncation (String str)
	Warns for truncation.

Private Attributes
int	integer
	The value.

Detailed Description

Author: Radoslaw Szymanek, Thomas Leaute, Brammert Ottens

Constructor & Destructor Documentation

◆ AddableInteger() [1/2]

frodo2.solutionSpaces.AddableInteger.AddableInteger ( )

Empty constructor for creating zero, plus and minus infinity.

References integer.

◆ AddableInteger() [2/2]

frodo2.solutionSpaces.AddableInteger.AddableInteger ( int integer )

Parameters

integer the integer value

References integer.

Member Function Documentation

◆ abs()

AddableInteger frodo2.solutionSpaces.AddableInteger.abs ( )

See also: Addable.abs()

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), and integer.

Referenced by frodo2.algorithms.maxsum.tests.MaxSumTests< V extends Addable< V >, U extends Addable >.test().

Here is the call graph for this function:

◆ add() [1/2]

AddableInteger frodo2.solutionSpaces.AddableInteger.add ( final AddableInteger o )

Adds this AddableInteger with another AddableInteger.

Parameters

o	the AddableInteger to be added

Returns: a new AddableInteger equal to the sum

See also: Addable#add(Addable)

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), integer, frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Referenced by frodo2.solutionSpaces.crypto.ElGamalSchemeTest.add(), frodo2.algorithms.dpop.stochastic.test.ExpectedUTILtest.Listener.checkOutput(), frodo2.solutionSpaces.vehiclerouting.VehicleRoutingSpace >.project(), frodo2.algorithms.mpc_discsp.MPC_DisCSP4< V extends Addable< V > >.recordCandidateSol(), frodo2.algorithms.mpc_discsp.MPC_DisWCSP4< V extends Addable< V > >.recordCandidateSol(), frodo2.algorithms.adopt.test.testADOPT.test(), frodo2.solutionSpaces.hypercube.tests.HypercubeTest.testApplySliceRandom(), frodo2.solutionSpaces.hypercube.tests.HypercubeTest.testCompose(), and frodo2.solutionSpaces.hypercube.tests.HypercubeTest.testSliceRandom().

Here is the call graph for this function:

◆ add() [2/2]

AddableInteger frodo2.solutionSpaces.AddableInteger.add ( int o )

Adds an int to the value of this AddableInteger.

Parameters

o	the int value

Returns: the resulting new AddableInteger

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), and integer.

Here is the call graph for this function:

◆ addDelayed()

AddableDelayed< AddableInteger > frodo2.solutionSpaces.AddableInteger.addDelayed ( )

See also: Addable.addDelayed()

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

◆ compareTo()

int frodo2.solutionSpaces.AddableInteger.compareTo ( final AddableInteger o )

Compares this AddableInteger with another.

Parameters

o	another AddableInteger

Returns: 0 if they are equal, a positive number if this AddableInteger is greater than the input

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), integer, frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Referenced by frodo2.solutionSpaces.crypto.ElGamalSchemeTest.add(), max(), min(), frodo2.solutionSpaces.crypto.ElGamalSchemeTest.min(), frodo2.solutionSpaces.hypercube.tests.HypercubeIterBestFirstTest.testMaximize(), frodo2.solutionSpaces.hypercube.tests.HypercubeIterBestFirstTest.testMinimize(), frodo2.solutionSpaces.hypercube.tests.HypercubeTest.testProjectAllRandom(), and frodo2.solutionSpaces.hypercube.tests.HypercubeTest.testSplittingRandom().

Here is the call graph for this function:

◆ divide()

AddableInteger frodo2.solutionSpaces.AddableInteger.divide ( final AddableInteger o )

Parameters

o	the integer to divide with

Returns: the result of the division

See also: Addable#divide(Addable)

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), integer, frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Here is the call graph for this function:

◆ doubleValue()

double frodo2.solutionSpaces.AddableInteger.doubleValue ( )

See also: Addable.doubleValue()

◆ equals()

boolean frodo2.solutionSpaces.AddableInteger.equals ( final Object o )

See also: java.lang.Object#equals(java.lang.Object)

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), integer, frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Here is the call graph for this function:

◆ externalize()

final boolean frodo2.solutionSpaces.AddableInteger.externalize ( )

See also: AddableLimited.externalize()

Referenced by frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.readExternal(), and frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.writeExternal().

◆ flipSign()

AddableInteger frodo2.solutionSpaces.AddableInteger.flipSign ( )

See also: Addable.flipSign()

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), and integer.

Here is the call graph for this function:

◆ fromInt()

AddableInteger frodo2.solutionSpaces.AddableInteger.fromInt ( int nbr )

See also: Addable.fromInt(int)

References AddableInteger(), frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Referenced by frodo2.solutionSpaces.vehiclerouting.VehicleRoutingSpace >.project().

Here is the call graph for this function:

◆ fromString()

AddableInteger frodo2.solutionSpaces.AddableInteger.fromString ( final String str )

See also: Addable.fromString(java.lang.String)

References AddableInteger(), frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF, and warnTruncation().

Referenced by frodo2.benchmarks.meetings.MeetingScheduling.main(), and frodo2.algorithms.test.XCSPparserTest.testGetDomain().

Here is the call graph for this function:

◆ getMinInfinity()

AddableInteger frodo2.solutionSpaces.AddableInteger.getMinInfinity ( )

See also: Addable.getMinInfinity()

References AddableInteger(), and frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF.

Here is the call graph for this function:

◆ getPlusInfinity()

AddableInteger frodo2.solutionSpaces.AddableInteger.getPlusInfinity ( )

See also: Addable.getPlusInfinity()

References AddableInteger(), and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Referenced by frodo2.algorithms.maxsum.tests.MaxSumTests< V extends Addable< V >, U extends Addable >.test().

Here is the call graph for this function:

◆ getZero()

AddableInteger frodo2.solutionSpaces.AddableInteger.getZero ( )

See also: Addable.getZero()

References AddableInteger().

Referenced by frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.readExternal().

Here is the call graph for this function:

◆ hashCode()

int frodo2.solutionSpaces.AddableInteger.hashCode ( )

See also: java.lang.Object#hashCode()

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References integer.

◆ intValue()

int frodo2.solutionSpaces.AddableInteger.intValue ( )

Returns: the value as an int

References integer.

◆ max()

AddableInteger frodo2.solutionSpaces.AddableInteger.max ( final AddableInteger o )

Computes the max of two AddableIntegers.

Parameters

o	the AddableInteger to compare to

Returns: the maximum of this and the input AddableInteger

See also: Addable#max(AddableLimited)

References AddableInteger(), and compareTo().

Here is the call graph for this function:

◆ min()

AddableInteger frodo2.solutionSpaces.AddableInteger.min ( final AddableInteger o )

Computes the min of two AddableIntegers.

Parameters

o	the AddableInteger to compare to

Returns: the minimum of this and the input AddableInteger

See also: Addable#min(AddableLimited)

References AddableInteger(), and compareTo().

Referenced by frodo2.algorithms.mpc_discsp.MPC_DisWCSP4< V extends Addable< V > >.recordCandidateSol().

Here is the call graph for this function:

◆ multiply()

AddableInteger frodo2.solutionSpaces.AddableInteger.multiply ( final AddableInteger o )

Multiplies this AddableInteger with another AddableInteger.

Parameters

o	the AddableInteger to be multiplied with

Returns: a new AddableInteger equal to the product

See also: Addable#multiply(Addable)

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), integer, frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Referenced by frodo2.algorithms.dpop.privacy.test.P2_DPOPagentTest< V extends Addable< V >, E extends AddableLimited< AddableInteger, E >.test().

Here is the call graph for this function:

◆ range()

Addable< AddableInteger >[] frodo2.solutionSpaces.AddableInteger.range	(	AddableInteger	begin,
		AddableInteger	end )

See also: Addable#range(Addable, Addable)

References AddableInteger(), integer, and range().

Referenced by range().

Here is the call graph for this function:

◆ readExternal()

void frodo2.solutionSpaces.AddableInteger.readExternal ( ObjectInput arg0 ) throws IOException, ClassNotFoundException

See also: java.io.Externalizable#readExternal(java.io.ObjectInput)

Referenced by frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.readExternal().

◆ readResolve()

Object frodo2.solutionSpaces.AddableInteger.readResolve ( )

See also: AddableLimited.readResolve()

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Referenced by frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.readExternal().

◆ subtract() [1/2]

AddableInteger frodo2.solutionSpaces.AddableInteger.subtract ( final AddableInteger o )

Subtracts another AddableInteger from this AddableInteger.

Parameters

o	the other AddableInteger

Returns: the result of the subtraction

See also: Addable#subtract(Addable)

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), integer, frodo2.solutionSpaces.AddableInteger.MinInfinity.MIN_INF, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.PLUS_INF.

Here is the call graph for this function:

◆ subtract() [2/2]

AddableInteger frodo2.solutionSpaces.AddableInteger.subtract ( int o )

Subtracts an integer from this addable integer.

Parameters

o	the integer to subtract

Returns: the result of the subtraction

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

References AddableInteger(), and integer.

Here is the call graph for this function:

◆ toString()

String frodo2.solutionSpaces.AddableInteger.toString ( )

See also: java.lang.Object#toString()

Reimplemented in frodo2.solutionSpaces.AddableInteger.MinInfinity, and frodo2.solutionSpaces.AddableInteger.PlusInfinity.

Referenced by frodo2.algorithms.dpop.privacy.test.FakeCryptoSchemeTest.decrypt(), frodo2.algorithms.dpop.privacy.test.FakeCryptoScheme.encrypt(), frodo2.solutionSpaces.crypto.ElGamalSchemeTest.randomDecrypt(), and frodo2.benchmarks.meetings.MeetingScheduling.toXCSP().

◆ warnTruncation()

boolean frodo2.solutionSpaces.AddableInteger.warnTruncation ( String str )

private

Warns for truncation.

Parameters

str	the string

Returns: true

Referenced by fromString().

◆ writeExternal()

void frodo2.solutionSpaces.AddableInteger.writeExternal ( ObjectOutput arg0 ) throws IOException

See also: java.io.Externalizable#writeExternal(java.io.ObjectOutput)

Referenced by frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.writeExternal().

Member Data Documentation

◆ integer

int frodo2.solutionSpaces.AddableInteger.integer

private

The value.

Referenced by abs(), add(), add(), AddableInteger(), AddableInteger(), frodo2.solutionSpaces.AddableInteger.AddableIntegerDelayed.addDelayed(), compareTo(), divide(), equals(), flipSign(), hashCode(), intValue(), frodo2.solutionSpaces.AddableInteger.MinInfinity.multiply(), multiply(), frodo2.solutionSpaces.AddableInteger.PlusInfinity.multiply(), frodo2.solutionSpaces.AddableInteger.AddableIntegerDelayed.multiplyDelayed(), range(), subtract(), and subtract().

The documentation for this class was generated from the following file:

src/frodo2/solutionSpaces/AddableInteger.java

Classes

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ AddableInteger() [1/2]

◆ AddableInteger() [2/2]

Member Function Documentation

◆ abs()

◆ add() [1/2]

◆ add() [2/2]

◆ addDelayed()

◆ compareTo()

◆ divide()

◆ doubleValue()

◆ equals()

◆ externalize()

◆ flipSign()

◆ fromInt()

◆ fromString()

◆ getMinInfinity()

◆ getPlusInfinity()

◆ getZero()

◆ hashCode()

◆ intValue()

◆ max()

◆ min()

◆ multiply()

◆ range()

◆ readExternal()

◆ readResolve()

◆ subtract() [1/2]

◆ subtract() [2/2]

◆ toString()

◆ warnTruncation()

◆ writeExternal()

Member Data Documentation

◆ integer