StratifiedProgram (io.github.harvardpl:AbcDatalog 0.7.2 API)

All Superinterfaces:: UnstratifiedProgram

public interface StratifiedProgram extends UnstratifiedProgram

A Datalog program that has been stratified; for instance, to support stratified negation.

Method Summary

Modifier and Type

Method

Description

Map<PredicateSym,Integer>

getPredToStratumMap()

List<Set<PredicateSym>>

getStrata()

Methods inherited from interface edu.harvard.seas.pl.abcdatalog.ast.validation.UnstratifiedProgram
getEdbPredicateSyms, getIdbPredicateSyms, getInitialFacts, getRules

Method Details
- getStrata
  
  List<Set<PredicateSym>> getStrata()
- getPredToStratumMap
  
  Map<PredicateSym,Integer> getPredToStratumMap()