org.jacop.constraints

Class Profile

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<ProfileItem>

org.jacop.constraints.Profile

All Implemented Interfaces:

Serializable, Cloneable, Iterable<ProfileItem>, Collection<ProfileItem>, List<ProfileItem>, RandomAccess

public class Profile
extends ArrayList<ProfileItem>

Defines a basic data structure to keep the profile for the diffn/1 and cumulative/4 constraints. It consists of ordered pair of time points and the current value.

Version:

4.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected int	maxProfileItemHeight

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
Profile() It constructs the prophet file.
Profile(short type) It constructs the profile of a given type (e.g.

Method Summary

Modifier and Type	Method and Description
void	addToProfile(int a, int b, int val) It adds given amount (val) to the profile between a and b.
int	max() It returns the max height of the profile item encountered in the profile.
String	toString()

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

equals, hashCode

Methods inherited from class java.util.AbstractCollection

containsAll

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, equals, hashCode

Methods inherited from interface java.util.Collection

parallelStream, stream

Field Detail

maxProfileItemHeight

protected int maxProfileItemHeight

Constructor Detail

Profile

public Profile()

It constructs the prophet file.

Profile

public Profile(short type)

It constructs the profile of a given type (e.g. for cumulative).

Parameters:

type - type of the profile (cumul=0, diffn=1)

Method Detail

addToProfile

public void addToProfile(int a,
                         int b,
                         int val)

It adds given amount (val) to the profile between a and b.

Parameters:

a - the minimum range at which it is being added.

b - the maximum range at which it is being added.

val - the amount by which the profiles is updated.

max

public int max()

It returns the max height of the profile item encountered in the profile.

Returns:

the max height.

toString

public String toString()

Overrides:

toString in class AbstractCollection<ProfileItem>