DatalogEngine class abstract
Datalog engine interface for relational reasoning.
Integrates with Soufflé via FFI for high-performance points-to analysis, reachability queries, and constraint solving.
- Implementers
Constructors
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
clear(
) → void - Clears all facts.
-
loadFacts(
List< Fact> facts) → void - Loads facts into the engine.
-
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.
-
run(
) → void - Runs the Datalog program to compute derived facts.
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited