org.colomoto.biolqm.tool.fixpoints

Class FixpointList

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<byte[]>

org.colomoto.biolqm.tool.fixpoints.FixpointList

All Implemented Interfaces:

Serializable, Cloneable, Iterable<byte[]>, Collection<byte[]>, List<byte[]>, RandomAccess, StateList

public class FixpointList
extends ArrayList<byte[]>
implements StateList

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Fields inherited from interface org.colomoto.biolqm.helper.state.StateList

FREE, JOKER, UNDEFINED

Constructor Summary

Constructors

Constructor and Description
FixpointList(List<NodeInfo> nodes)
FixpointList(List<NodeInfo> nodes, List<NodeInfo> extraNodes, org.colomoto.mddlib.MDDManager ddmanager, int[] extraFunctions)
FixpointList(LogicalModel model)

Method Summary

Modifier and Type	Method and Description
static NodeInfo[]	extractIDs(List<NodeInfo> list)
byte[]	fillState(byte[] state, int index) Retrieve a full state instead of a single value.
byte	get(int row, int col) Retrieve a specific value
NodeInfo[]	getComponents() Get the components defining this list of states.
List<byte[]>	getExtraData()
byte[]	rawByteArray()
boolean	setExtra(boolean extra) Include or hide extra components.

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 org.colomoto.biolqm.helper.state.StateList

project_on_components, size

Methods inherited from interface java.util.List

containsAll, equals, hashCode

Methods inherited from interface java.util.Collection

parallelStream, stream

Constructor Detail

FixpointList

public FixpointList(LogicalModel model)

FixpointList

public FixpointList(List<NodeInfo> nodes)

FixpointList

public FixpointList(List<NodeInfo> nodes,
                    List<NodeInfo> extraNodes,
                    org.colomoto.mddlib.MDDManager ddmanager,
                    int[] extraFunctions)

Method Detail

extractIDs

public static NodeInfo[] extractIDs(List<NodeInfo> list)

getComponents

public NodeInfo[] getComponents()

Description copied from interface: StateList

Get the components defining this list of states.

Specified by:

getComponents in interface StateList

Returns:

the list of components

get

public byte get(int row,
                int col)

Description copied from interface: StateList

Retrieve a specific value

Specified by:

get in interface StateList

Parameters:

row - the state number

col - the component number

Returns:

the corresponding value

setExtra

public boolean setExtra(boolean extra)

Description copied from interface: StateList

Include or hide extra components.

Specified by:

setExtra in interface StateList

Parameters:

extra - if true, extra components will be included

Returns:

true if the number of components changed

getExtraData

public List<byte[]> getExtraData()

rawByteArray

public byte[] rawByteArray()

fillState

public byte[] fillState(byte[] state,
                        int index)

Description copied from interface: StateList

Retrieve a full state instead of a single value.

Specified by:

fillState in interface StateList

Parameters:

state - reuse an existing array if possible

index - the state number

Returns:

a filled array, if possible it will be identical to the one given as parameter