Uses of Enum Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssert.DerivedLiteralStrategy

Packages that use LogicSchemaAssert.DerivedLiteralStrategy

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

Uses of LogicSchemaAssert.DerivedLiteralStrategy in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions with parameters of type LogicSchemaAssert.DerivedLiteralStrategy

Modifier and Type	Method	Description
DependencySchemaAssert	DependencySchemaAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.
DependencySchemaAssert	DependencySchemaAssert.containsEquivalentPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate expectedPredicate, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent according to the derivedLiteralStrategy given

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

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

Modifier and Type	Method	Description
static LogicSchemaAssert.DerivedLiteralStrategy	LogicSchemaAssert.DerivedLiteralStrategy.valueOf(String name)	Returns the enum constant of this class with the specified name.
static LogicSchemaAssert.DerivedLiteralStrategy[]	LogicSchemaAssert.DerivedLiteralStrategy.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions with parameters of type LogicSchemaAssert.DerivedLiteralStrategy

Modifier and Type	Method	Description
void	PredicateAssert.checkDerivationRulesEquivalenceWithStrategy(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate expectedPredicate, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentConstraint(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint expectedConstraint, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual schema contains a constraint equivalent to expectedConstraint considering that two derived ordinary literals are equivalent according to the given strategy.
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.
PredicateAssert	PredicateAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual predicate contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate expectedPredicate, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent according to the derivedLiteralStrategy given