uk.ac.manchester.cs.jfact.kernel

Class NamedEntryCollection<T extends NamedEntry>

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection<T>

Type Parameters:

T - type

All Implemented Interfaces:

Serializable

public class NamedEntryCollection<T extends NamedEntry>
extends Object
implements Serializable

class for collect TNamedEntry'es together. Template parameter should be inherited from TNamedEntry. Implemented as vector of T*, with Base[i].getId() == i.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NamedEntryCollection(String name, java.util.function.Function<org.semanticweb.owlapi.model.IRI,T> creator, JFactReasonerConfiguration options) c'tor: clear 0-th element

Method Summary

Modifier and Type	Method and Description
T	first()
T	get(org.semanticweb.owlapi.model.IRI name)
java.util.stream.Stream<T>	getConcepts()
boolean	isLocked()
boolean	isRegistered(org.semanticweb.owlapi.model.IRI name)
boolean	remove(T p) remove given entry from the collection;
boolean	setLocked(boolean val) set LOCKED value to a VAL;
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

NamedEntryCollection

public NamedEntryCollection(String name,
                            java.util.function.Function<org.semanticweb.owlapi.model.IRI,T> creator,
                            JFactReasonerConfiguration options)

c'tor: clear 0-th element

Parameters:

name - name

creator - creator

options - options

Method Detail

isLocked

public boolean isLocked()

Returns:

check if collection is locked

setLocked

public boolean setLocked(boolean val)

set LOCKED value to a VAL;

Parameters:

val - val

Returns:

old value of LOCKED

isRegistered

public boolean isRegistered(org.semanticweb.owlapi.model.IRI name)

Parameters:

name - name

Returns:

check if entry with a NAME is registered in given collection

get

public T get(org.semanticweb.owlapi.model.IRI name)

Parameters:

name - name

Returns:

get entry by NAME from the collection; register it if necessary

remove

public boolean remove(T p)

remove given entry from the collection;

Parameters:

p - p

Returns:

true iff it was NOT the last entry.

getConcepts

public java.util.stream.Stream<T> getConcepts()

Returns:

concept stream

first

@Nullable
public T first()

Returns:

first element

size

public int size()

Returns:

size