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 intcumul(package private) static intdiffnprotected intmaxProfileItemHeightprivate static longserialVersionUID(package private) static booleantrace(package private) shorttype
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddToProfile(int a, int b, int val)It adds given amount (val) to the profile between a and b.intmax()It returns the max height of the profile item encountered in the profile.java.lang.StringtoString()-
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:
toStringin classjava.util.AbstractCollection<ProfileItem>
-
-