Interface InMemoryAtomSetFactory
- All Known Implementing Classes:
DefaultAtomSetFactory
public interface InMemoryAtomSetFactory
Factory for creating in-memory atom sets from atoms or atom-set sources.
- Author:
- Clément Sipieter (INRIA) <clement@6pi.fr>
-
Method Summary
Modifier and TypeMethodDescriptioncreate()Creates an empty in-memory atom set.Creates an in-memory atom set containing a single atom.Creates an in-memory atom set from the specified atoms.Creates an in-memory atom set by copying another atom set.create(InMemoryAtomSet src) Creates an in-memory atom set by copying another in-memory atom set.create(CloseableIterator<Atom> atoms) Creates an in-memory atom set from a closeable iterator.Creates an in-memory atom set from a closeable iterator without checked exceptions.
-
Method Details
-
create
-
create
Creates an in-memory atom set from the specified atoms.- Parameters:
atoms- the atoms to insert- Returns:
- the created atom set
-
create
Creates an in-memory atom set by copying another atom set.- Parameters:
src- the atom set to copy- Returns:
- the created atom set
- Throws:
IteratorException- if iterating over the source fails
-
create
Creates an in-memory atom set by copying another in-memory atom set.- Parameters:
src- the atom set to copy- Returns:
- the created atom set
-
create
Creates an in-memory atom set from a closeable iterator.- Parameters:
atoms- the atoms to insert- Returns:
- the created atom set
- Throws:
IteratorException- if iterating over the source fails
-
create
Creates an in-memory atom set from a closeable iterator without checked exceptions.- Parameters:
atoms- the atoms to insert- Returns:
- the created atom set
-
create
Creates an in-memory atom set containing a single atom.- Parameters:
atom- the atom to insert- Returns:
- the created atom set
-