Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes
package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes
-
ClassDescriptionService that returns a copy of the logicSchema where every normal clause (logic constraint, or derivation rule) has its body sorted according to the following order: 1) positive literals, 2) negated literals, 3) built-in literals.This class is responsible for removing, when it is possible, the equality built-in literals from the body of a normal clause and apply a substitution that corresponds to such built-in literals.A process that, given a logic schema, returns a new logic schema.A pipeline of LogicProcesses.Interface for generating several constraintIDs from a single constraintID.Service that removes all those predicates (base or derived) that are not used in any LogicConstraint (neither directly, neither transitively)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.A pipeline of SchemaTransformationProcessPipeline.This class is responsible for recursively unfolding the positive derived literals of a logic schema.This class is in charge of transforming one logic schema into an equivalent logic schema where every derived predicate is defined, only, through one derivation rule.Strategy for creating new constraintID from a given constraintID based on applying a suffix "_number".This class is responsible for removing the trivial literals from the logic constraints, and logic derivation rules, but without removing derived predicates, neither removing constraints.