Package edu.harvard.seas.pl.abcdatalog.ast.validation

Interface StratifiedProgram

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()