fuml.semantics.actions

Class ClauseActivationList

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<ClauseActivation>

fuml.semantics.actions.ClauseActivationList

All Implemented Interfaces:

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

public class ClauseActivationList
extends ArrayList<ClauseActivation>

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
ClauseActivationList()

Method Summary

Modifier and Type	Method and Description
void	addValue(ClauseActivation v)
void	addValue(int i, ClauseActivation v)
ClauseActivation	getValue(int i)
void	removeValue(int i)
void	setValue(int i, ClauseActivation v)

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, toString

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

Constructor Detail

ClauseActivationList

public ClauseActivationList()

Method Detail

getValue

public ClauseActivation getValue(int i)

addValue

public void addValue(ClauseActivation v)

addValue

public void addValue(int i,
                     ClauseActivation v)

setValue

public void setValue(int i,
                     ClauseActivation v)

removeValue

public void removeValue(int i)