createWithImmutability static method

InMemoryDatalogEngine createWithImmutability()

Creates an engine with immutability analysis.

ImmutabilityRule is in stratum 1 and will be evaluated after all stratum 0 rules reach fixpoint, ensuring Mutable facts are complete.

Implementation

static InMemoryDatalogEngine createWithImmutability() {
  final engine = create();
  // ImmutabilityRule is in stratum 1 - evaluated after stratum 0 fixpoint
  engine.addRule(ImmutabilityRule());
  return engine;
}