Package tools.refinery.store.statecoding.neighborhood

Class IndividualsArray

java.lang.Object

tools.refinery.store.statecoding.neighborhood.IndividualsArray

All Implemented Interfaces:

IndividualsSet

public class IndividualsArray
extends Object
implements IndividualsSet

Field Summary

Fields inherited from interface tools.refinery.store.statecoding.neighborhood.IndividualsSet

EMPTY

Constructor Summary

Constructors

Constructor	Description
IndividualsArray(int[] sortedArray)

Method Summary

Modifier and Type	Method	Description
boolean	isIndividual(int nodeId)
IntStream	stream()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

IndividualsArray

public IndividualsArray(int[] sortedArray)

Method Details

isIndividual

public boolean isIndividual(int nodeId)

Specified by:

isIndividual in interface IndividualsSet

stream

public IntStream stream()

Specified by:

stream in interface IndividualsSet