Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule

Packages that use DerivationRule

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Uses of DerivationRule in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain that return types with arguments of type DerivationRule

Modifier and Type	Method	Description
List<DerivationRule>	DependencySchema.getDerivationRulesByPredicateName(String derivedPredicateName)

Uses of DerivationRule in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Fields in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with type parameters of type DerivationRule

Modifier and Type	Field	Description
protected final List<DerivationRule>	Predicate.derivationRules	Invariants: - name cannot be null - name cannot be empty - arity >= 0 - the list of derivationRules is not null - the list of derivationRules it not empty - derivationRules head terms size matches with arity - derivationRules are immutable when retrieved

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return DerivationRule

Modifier and Type	Method	Description
DerivationRule	Predicate.getFirstDerivationRule()

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return types with arguments of type DerivationRule

Modifier and Type	Method	Description
Set<DerivationRule>	LogicSchema.getAllDerivationRules()
List<DerivationRule>	Predicate.getDerivationRules()
List<DerivationRule>	LogicSchema.getDerivationRulesByPredicateName(String derivedPredicateName)

Uses of DerivationRule in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor with parameters of type DerivationRule

Modifier and Type	Method	Description
T	LogicSchemaVisitor.visit(DerivationRule derivationRule)

Uses of DerivationRule in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator with parameters of type DerivationRule

Modifier and Type	Method	Description
Optional<Boolean>	HomomorphismBasedEquivalenceAnalyzer.areEquivalent(DerivationRule first, DerivationRule second)
Optional<Boolean>	LogicEquivalenceAnalyzer.areEquivalent(DerivationRule first, DerivationRule second)
Optional<Substitution>	HomomorphismFinder.findHomomorphism(DerivationRule domainRule, DerivationRule rangeRule)	Return a homomorphism from the domainRule terms to the rangeRule terms, if exists

Uses of DerivationRule in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism with parameters of type DerivationRule

Modifier and Type	Method	Description
boolean	IsomorphismComparator.areIsomorphic(DerivationRule derivationRule1, DerivationRule derivationRule2)	Check whether two derivation rules are isomorphic

Uses of DerivationRule in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers with parameters of type DerivationRule

Modifier and Type	Method	Description
static DerivationRuleSpec	LogicSchemaToSpecHelper.buildDerivationRuleSpec(DerivationRule dr)

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers with type arguments of type DerivationRule

Modifier and Type	Method	Description
static List<DerivationRuleSpec>	LogicSchemaToSpecHelper.buildDerivationRuleSpecs(List<DerivationRule> usedDerivationRules)

Uses of DerivationRule in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer with parameters of type DerivationRule

Modifier and Type	Method	Description
String	LogicSchemaPrinter.visit(DerivationRule derivationRule)