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 Details

    • create

      InMemoryAtomSet create()
      Creates an empty in-memory atom set.
      Returns:
      the created atom set
    • create

      InMemoryAtomSet create(Atom... atoms)
      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

      InMemoryAtomSet create(Atom atom)
      Creates an in-memory atom set containing a single atom.
      Parameters:
      atom - the atom to insert
      Returns:
      the created atom set