Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Interface SchemaTransformationProcess

All Known Implementing Classes:
BodySorter, EqualityReplacer, LogicSchemaTransformationProcess, PredicateCleaner, SchemaTransformationProcessPipeline, SchemaUnfolder, SingleDerivationRuleTransformer, TrivialLiteralCleaner
public interface SchemaTransformationProcess
A process that, given a logic schema, returns a new schema transformation.

  • Method Details

    • executeTransformation

      SchemaTransformation executeTransformation(LogicSchema logicSchema)
      Parameters:
      logicSchema - not null
      Returns:
      a schemaTransformation