Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level

Packages that use Level

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Uses of Level in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return Level

Modifier and Type	Method	Description
Level	LevelHierarchy.getBasePredicatesLevel()
Level	LevelHierarchy.getLevel(int index)
Level	LevelHierarchy.getLevelOfPredicate(Predicate predicate)	May throw exception if predicate is not contained in the hierarchy

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return types with arguments of type Level

Modifier and Type	Method	Description
List<Level>	LevelHierarchy.getDerivedLevels()
Iterator<Level>	LevelHierarchy.iterator()

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with type arguments of type Level

Modifier and Type	Method	Description
void	LevelHierarchy.forEach(Consumer<? super Level> action)

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with type arguments of type Level

Modifier	Constructor	Description
	LevelHierarchy(List<Level> levels)