Package org.jacop.constraints

Class ProfileConditional

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<ProfileItemCondition>

org.jacop.constraints.ProfileConditional

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<ProfileItemCondition>, java.util.Collection<ProfileItemCondition>, java.util.List<ProfileItemCondition>, java.util.RandomAccess

Direct Known Subclasses:

DisjointConditionalProfile

class ProfileConditional
extends java.util.ArrayList<ProfileItemCondition>

Defines a basic data structure to keep the profile for the disjointConditonal/2

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
(package private) int	MaxProfile
private static long	serialVersionUID
(package private) static boolean	trace

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor	Description
ProfileConditional()

Method Summary

Modifier and Type	Method	Description
(package private) void	addToProfile(int index, int a, int b, int val, ExclusiveList exList)
(package private) int	max()
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

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.Collection

parallelStream, stream, toArray

Methods inherited from interface java.util.List

containsAll

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

trace

static final boolean trace

See Also:

Constant Field Values

MaxProfile

int MaxProfile

Constructor Detail

ProfileConditional

ProfileConditional()

Method Detail

addToProfile

void addToProfile(int index,
                  int a,
                  int b,
                  int val,
                  ExclusiveList exList)

max

int max()

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection<ProfileItemCondition>