SouffleEngine class

Native Soufflé engine integration via FFI.

Requires pre-compiled Soufflé program as shared library.

Implemented types

• DatalogEngine

Constructors

SouffleEngine(String libraryPath)

Properties

hashCode → int

The hash code for this object.

no setter, inherited

libraryPath → String

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

clear() → void

Clears all facts.

override

initialize() → void

Initializes the Soufflé engine.

loadFacts(List<Fact> facts) → void

Loads facts into the engine.

override

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

query(String relationName) → List<List<Object>>

Queries a relation and returns matching tuples.

override

run() → void

Runs the Datalog program to compute derived facts.

override

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited