Uses of Package
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes
-
ClassDescriptionA process that, given a logic schema, returns a new logic schema.Interface for generating several constraintIDs from a single constraintID.This class is responsible to recall which constraintsID (from one schema) comes from what constraintID (from an original schema) when applying a logic processClass that remembers the transformation applied from an original LogicSchema to a transformedLogicSchema.A process that, given a logic schema, returns a new schema transformation.