JaCoP.constraints
Class Profile

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractList<E>
          extended by java.util.ArrayList<ProfileItem>
              extended by JaCoP.constraints.Profile
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<ProfileItem>, java.util.Collection<ProfileItem>, java.util.List<ProfileItem>, java.util.RandomAccess

public class Profile
extends java.util.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:
3.1
Author:
Krzysztof Kuchcinski and Radoslaw Szymanek
See Also:
Serialized Form

Constructor Summary
Profile()
          It constructs the prophet file.
Profile(short type)
          It constructs the profile of a given type (e.g.
 
Method Summary
 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.
 java.lang.String toString()
           
 
Methods inherited from class java.util.ArrayList
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, remove, set, size, toArray, toArray, trimToSize
 
Methods inherited from class java.util.AbstractList
equals, hashCode, iterator, listIterator, listIterator, subList
 
Methods inherited from class java.util.AbstractCollection
containsAll, removeAll, retainAll
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
containsAll, equals, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList
 

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 -
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 java.lang.String toString()
Overrides:
toString in class java.util.AbstractCollection<ProfileItem>