Uses of Interface
org.episteme.core.io.ResourceWriter

Packages that use ResourceWriter

Package	Description
org.episteme.core.io
org.episteme.core.mathematics.loaders
org.episteme.core.mathematics.loaders.logic
org.episteme.core.mathematics.loaders.oeis	Comprehensive mathematical structures, including algebra, calculus, and numerical analysis.
org.episteme.core.mathematics.loaders.openmath	Provides the invalid reference org.episteme.core.ml.openmath module.
org.episteme.nativ.physics.loaders.fits
org.episteme.nativ.physics.loaders.hdf5
org.episteme.natural.biology.loaders
org.episteme.social.law.loaders	Core functionality for the org.episteme.social.law.loaders package in the Episteme library.

Uses of ResourceWriter in org.episteme.core.io

Classes in org.episteme.core.io that implement ResourceWriter

Modifier and Type	Class	Description
class	AbstractResourceWriter<T>	Abstract base for resource writers.

Methods in org.episteme.core.io that return types with arguments of type ResourceWriter

Modifier and Type	Method	Description
static <T> Optional<ResourceWriter<T>>	ResourceIOManager.getWriter(String destinationId, Class<T> type)	Finds a suitable writer for the given resource and destination.

Uses of ResourceWriter in org.episteme.core.mathematics.loaders

Classes in org.episteme.core.mathematics.loaders that implement ResourceWriter

Modifier and Type	Class	Description
class	NeuralModelWriter
class	VTKWriter	Writer for VTK (Visualization Toolkit) Structured Points files.

Uses of ResourceWriter in org.episteme.core.mathematics.loaders.logic

Subinterfaces of ResourceWriter in org.episteme.core.mathematics.loaders.logic

Modifier and Type	Interface	Description
interface	FormalSystemExporter	Interface for exporting a logical system to an external formal verification tool.

Classes in org.episteme.core.mathematics.loaders.logic that implement ResourceWriter

Modifier and Type	Class	Description
class	CoqExporter	Exporter for the Coq Proof Assistant.
class	MetamathExporter	Exporter for Metamath.
class	QedeqExporter	Exporter for QEDEQ (Hilbert II).

Uses of ResourceWriter in org.episteme.core.mathematics.loaders.oeis

Classes in org.episteme.core.mathematics.loaders.oeis that implement ResourceWriter

Modifier and Type	Class	Description
class	OEISWriter	Writer for exporting sequences to OEIS formats.

Uses of ResourceWriter in org.episteme.core.mathematics.loaders.openmath

Classes in org.episteme.core.mathematics.loaders.openmath that implement ResourceWriter

Modifier and Type	Class	Description
class	OpenMathWriter	Serializer for OpenMath XML format.

Uses of ResourceWriter in org.episteme.nativ.physics.loaders.fits

Classes in org.episteme.nativ.physics.loaders.fits that implement ResourceWriter

Modifier and Type	Class	Description
class	NativeFITSWriter	High-performance FITS writer using Panama.

Uses of ResourceWriter in org.episteme.nativ.physics.loaders.hdf5

Classes in org.episteme.nativ.physics.loaders.hdf5 that implement ResourceWriter

Modifier and Type	Class	Description
class	NativeHDF5TensorWriter	Adapter to save Tensors to HDF5 files.
class	NativeHDF5Writer	High-performance HDF5 writer using Panama.

Uses of ResourceWriter in org.episteme.natural.biology.loaders

Classes in org.episteme.natural.biology.loaders that implement ResourceWriter

Modifier and Type	Class	Description
class	FASTAWriter	Writer for FASTA files.
class	PDBWriter	Writer for PDB files.

Uses of ResourceWriter in org.episteme.social.law.loaders

Subinterfaces of ResourceWriter in org.episteme.social.law.loaders

Modifier and Type	Interface	Description
interface	LegalDocumentWriter	Common interface for components that save or export legal documents.

Classes in org.episteme.social.law.loaders that implement ResourceWriter

Modifier and Type	Class	Description
class	AbstractLegalDocumentWriter	Abstract base for legal document writers.