Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LevelHierarchyAssert

Packages that use LevelHierarchyAssert

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

Uses of LevelHierarchyAssert in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions that return LevelHierarchyAssert

Modifier and Type	Method	Description
static LevelHierarchyAssert	LevelHierarchyAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy actual)
static LevelHierarchyAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy actual)
LevelHierarchyAssert	LevelHierarchyAssert.containsExactlyPredicateNamesInLevel(int index, String... predicateNames)
LevelHierarchyAssert	LevelHierarchyAssert.hasLevels(int expectedLevels)
LevelHierarchyAssert	LevelHierarchyAssert.hasNoPredicateInLevel(int level)