serialize-theory/it.unibo.tuprolog.serialize/ReadingTheoryDeserializer

ReadingTheoryDeserializer

interface ReadingTheoryDeserializer : TheoryDeserializer, ReadingDeserializer<Theory>

A JVM-only TheoryDeserializer that can also read a Theory directly from a java.io.Reader, e.g. to load a knowledge base from a file or network stream without buffering it into a String first.

See also

for the JVM-only writer-based counterpart.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
abstract val mimeType: MimeType

Functions

Link copied to clipboard
open fun deserialize(string: String): Theory
abstract fun deserialize(reader: Reader): Theory
Link copied to clipboard
open fun deserializeMany(string: String): Iterable<Theory>
abstract fun deserializeMany(reader: Reader): Iterable<Theory>
Generated by Dokka
© 2026 Copyright