Package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec

Related Packages

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers

Class	Description
DependencySchemaSpec	Specification of a whole dependency schema, that is, a specification of a set of predicates, dependencies.
DependencySpec	Specification of a Dependency.
EGDSpec	Specification of a logic constraint including an ID for it.
HeadAtomsSpec
TGDSpec	Specification of a derivation rule.