Uses of Package
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec
Package
Description
-
ClassDescriptionSpecification of a whole dependency schema, that is, a specification of a set of predicates, dependencies.Specification of a Dependency.
-
-
ClassDescriptionSpecification of a Dependency.Specification of a derivation rule.
-
ClassDescriptionSpecification of a whole dependency schema, that is, a specification of a set of predicates, dependencies.Specification of a logic constraint including an ID for it.Specification of a derivation rule.