org.sdmlib.models.pattern.util

Class ReachableStateSet

java.lang.Object

de.uniks.networkparser.list.AbstractArray<V>

de.uniks.networkparser.list.AbstractList<V>

de.uniks.networkparser.list.SimpleList<T>

org.sdmlib.models.modelsets.SDMSet<ReachableState>

org.sdmlib.models.pattern.util.ReachableStateSet

All Implemented Interfaces:

de.uniks.networkparser.interfaces.BaseItem, java.lang.Iterable<ReachableState>, java.util.Collection<ReachableState>, java.util.List<ReachableState>, ModelSet

public class ReachableStateSet
extends SDMSet<ReachableState>
implements ModelSet

Field Summary

Fields

Modifier and Type	Field and Description
static ReachableStateSet	EMPTY_SET

Fields inherited from class de.uniks.networkparser.list.AbstractArray

ALLOWDUPLICATE, ALLOWEMPTYVALUE, BIDI, BIG_KEY, BIG_VALUE, CASESENSITIVE, DELETED, elements, emptyArray, flag, MAP, MAXDELETED, MAXUSEDLIST, MINHASHINGSIZE, MINSIZE, MINUSEDLIST, READONLY, SIZE_BIG, SMALL_KEY, SMALL_VALUE, VISIBLE

Fields inherited from interface de.uniks.networkparser.interfaces.BaseItem

CRLF

Constructor Summary

Constructors

Constructor and Description
ReachableStateSet()

Method Summary

Modifier and Type	Method and Description
ReachableState	first()
java.lang.String	getEntryType()
ObjectSet	getGraphRoot()
ReachabilityGraphSet	getMaster()
longList	getNumber()
ReachabilityGraphSet	getParent()
RuleApplicationSet	getResultOf()
RuleApplicationSet	getRuleapplications()
ReachableStatePO	hasReachableStatePO()
ReachableStatePO	startModelPattern()
java.lang.String	toString()
ReachableStateSet	with(java.lang.Object value)
ReachableStateSet	withGraphRoot(java.lang.Object value)
ReachableStateSet	withMaster(ReachabilityGraph value)
ReachableStateSet	withNumber(int value)
ReachableStateSet	withNumber(long value)
ReachableStateSet	without(ReachableState value)
ReachableStateSet	withoutResultOf(RuleApplication value)
ReachableStateSet	withoutRuleapplications(RuleApplication value)
ReachableStateSet	withParent(ReachabilityGraph value)
ReachableStateSet	withResultOf(RuleApplication value)
ReachableStateSet	withRuleapplications(RuleApplication value)

Methods inherited from class org.sdmlib.models.modelsets.SDMSet

add, add, cloneIterator, getNewList, has, instanceOf, intersection, iterator, minus, remove, remove, set, union, withReadOnly

Methods inherited from class de.uniks.networkparser.list.SimpleList

clone, subList

Methods inherited from class de.uniks.networkparser.list.AbstractList

addAll, addAll, copyEntity, iteratorReverse, lastIndexOf, listIterator, listIterator, removeItemByObject, subSet, with, withAll, withList

Methods inherited from class de.uniks.networkparser.list.AbstractArray

addFlag, addHashItem, addKey, addKeyValue, checkValue, clear, comparator, contains, containsAll, fireProperty, flag, get, getByIndex, getKeyByIndex, getLastPositionKey, getPositionKey, getPositionValue, getSignalFlag, getValueItem, hashKey, hasKey, hasKeyAndPos, indexOf, init, init, init, isAllowDuplicate, isAllowEmptyValue, isCaseSensitive, isComparator, isEmpty, isReadOnly, isVisible, last, lastindexOf, move, pack, removeAll, removeByObject, retainAll, setValue, size, toArray, toArray, withAllowDuplicate, withAllowEmptyValue, withCaseSensitive, withFlag, without, withVisible

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.List

addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, lastIndexOf, listIterator, listIterator, removeAll, replaceAll, retainAll, size, sort, spliterator, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

EMPTY_SET

public static final ReachableStateSet EMPTY_SET

Constructor Detail

ReachableStateSet

public ReachableStateSet()

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in interface de.uniks.networkparser.interfaces.BaseItem

Overrides:

toString in class SDMSet<ReachableState>

getEntryType

public java.lang.String getEntryType()

Specified by:

getEntryType in interface ModelSet

Returns:

classname of entrytype

getParent

public ReachabilityGraphSet getParent()

withParent

public ReachableStateSet withParent(ReachabilityGraph value)

getMaster

public ReachabilityGraphSet getMaster()

withMaster

public ReachableStateSet withMaster(ReachabilityGraph value)

first

public ReachableState first()

Overrides:

first in class de.uniks.networkparser.list.AbstractArray<ReachableState>

Returns:

the First Element of the List

getGraphRoot

public ObjectSet getGraphRoot()

withGraphRoot

public ReachableStateSet withGraphRoot(java.lang.Object value)

getNumber

public longList getNumber()

withNumber

public ReachableStateSet withNumber(int value)

getRuleapplications

public RuleApplicationSet getRuleapplications()

withRuleapplications

public ReachableStateSet withRuleapplications(RuleApplication value)

withoutRuleapplications

public ReachableStateSet withoutRuleapplications(RuleApplication value)

getResultOf

public RuleApplicationSet getResultOf()

withResultOf

public ReachableStateSet withResultOf(RuleApplication value)

withoutResultOf

public ReachableStateSet withoutResultOf(RuleApplication value)

withNumber

public ReachableStateSet withNumber(long value)

startModelPattern

public ReachableStatePO startModelPattern()

with

public ReachableStateSet with(java.lang.Object value)

without

public ReachableStateSet without(ReachableState value)

hasReachableStatePO

public ReachableStatePO hasReachableStatePO()