Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy
Packages that use LevelHierarchy
-
Uses of LevelHierarchy in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return LevelHierarchyModifier and TypeMethodDescriptionLogicSchema.computeLevelHierarchy()A LevelHierarchy is a partition of the predicates of a schema into several levels, where level 0 contains the base predicates, and each derived predicate from level i is defined through predicates from levelsj < i.