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

Packages that use DerivationRuleAssert

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

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

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

Modifier and Type	Method	Description
static DerivationRuleAssert	DerivationRuleAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule actual)
static DerivationRuleAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule actual)
DerivationRuleAssert	DerivationRuleAssert.correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec spec)
DerivationRuleAssert	DerivationRuleAssert.isLogicallyEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expected)	Checks whether the actual rule is the same as the expected logic rule up-to renaming variables, and derived predicate names.