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

Packages that use LevelAssert

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

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

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

Modifier and Type	Method	Description
static LevelAssert	LevelAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level actual)
static LevelAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level actual)
LevelAssert	LevelAssert.containsExactlyPredicateNames(String... expectedPredicateNames)
LevelAssert	LevelAssert.isEmpty()