stratum property

int stratum
final

Stratum for stratified evaluation.

Rules in stratum N are evaluated to fixpoint before rules in stratum N+1. Rules with negation should have higher stratum than their negated dependencies.

Implementation

final int stratum;