Package 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:
java.io.Serializable
,java.lang.Cloneable
,java.lang.Iterable<ProfileItem>
,java.util.Collection<ProfileItem>
,java.util.List<ProfileItem>
,java.util.RandomAccess
- Direct Known Subclasses:
DiffnProfile
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:
- 4.8
- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description (package private) static int
cumul
(package private) static int
diffn
protected int
maxProfileItemHeight
private static long
serialVersionUID
(package private) static boolean
trace
(package private) short
type
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.java.lang.String
toString()
-
Methods inherited from class java.util.ArrayList
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, equals, forEach, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize
-
-
-
-
Field Detail
-
serialVersionUID
private static final long serialVersionUID
- See Also:
- Constant Field Values
-
trace
static final boolean trace
- See Also:
- Constant Field Values
-
cumul
static final int cumul
- See Also:
- Constant Field Values
-
diffn
static final int diffn
- See Also:
- Constant Field Values
-
maxProfileItemHeight
protected int maxProfileItemHeight
-
type
short 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 classjava.util.AbstractCollection<ProfileItem>
-
-