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

Packages that use QueryAssert

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

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

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

Modifier and Type	Method	Description
static QueryAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query actual)
static QueryAssert	QueryAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query actual)
QueryAssert	QueryAssert.hasBodySize(int expected)
QueryAssert	QueryAssert.hasEmptyHead()
QueryAssert	QueryAssert.hasNonEmptyHead()
QueryAssert	QueryAssert.headVariablesAppearInBody()
QueryAssert	QueryAssert.isIsomorphicTo(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query expected)
QueryAssert	QueryAssert.isIsomorphicTo(List<String> headTerms, String expectedString)