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

Interface LogicProcess

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

A LogicProcess does not trace where the resulting LogicSchema comes from. If you are interested in remembering, for instance, which constraintID comes from what constraintID consider using SchemaTransformationProcess.

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    LogicSchema
    execute(LogicSchema logicSchema)
    execute the transformation

  • Method Details

    • execute

      LogicSchema execute(LogicSchema logicSchema)
      execute the transformation
      Parameters:
      logicSchema - , usually not null
      Returns:
      a new logicSchema