Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

Packages that use LogicSchema

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Uses of LogicSchema in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor with parameters of type LogicSchema

Modifier and Type	Method	Description
T	LogicSchemaVisitor.visit(LogicSchema logicSchema)

Uses of LogicSchema in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism with parameters of type LogicSchema

Modifier and Type	Method	Description
boolean	IsomorphismComparator.areIsomorphic(LogicSchema schema1, LogicSchema schema2)	Check whether two logic schemas are isomorphic

Uses of LogicSchema in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation that return LogicSchema

Modifier and Type	Method	Description
LogicSchema	LogicSchemaBuilder.build()
LogicSchema	LogicSchemaFactory.createLogicSchema(LogicSchemaSpec<T> logicSchemaSpec)
LogicSchema	LogicSchemaFactory.createLogicSchema(LogicSchemaSpec<T> logicSchemaSpec, Set<Predicate> relationalSchema)

Uses of LogicSchema in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser that return LogicSchema

Modifier and Type	Method	Description
LogicSchema	LogicSchemaParser.parse(String schemaString)
LogicSchema	LogicSchemaParser.parse(String schemaString, Set<Predicate> relationalSchema)

Uses of LogicSchema in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer with parameters of type LogicSchema

Modifier and Type	Method	Description
String	LogicSchemaPrinter.print(LogicSchema logicSchema)
String	LogicSchemaPrinter.visit(LogicSchema logicSchema)

Uses of LogicSchema in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes that return LogicSchema

Modifier and Type	Method	Description
LogicSchema	PredicateCleaner.clean(LogicSchema logicSchema)
LogicSchema	TrivialLiteralCleaner.clean(LogicSchema logicSchema)
LogicSchema	LogicProcess.execute(LogicSchema logicSchema)	execute the transformation
LogicSchema	LogicProcessPipeline.execute(LogicSchema inputLogicSchema)	Executes the pipeline
LogicSchema	LogicSchemaTransformationProcess.execute(LogicSchema logicSchema)
LogicSchema	SchemaTransformation.original()	Returns the value of the original record component.
LogicSchema	BodySorter.sort(LogicSchema logicSchema)
LogicSchema	SingleDerivationRuleTransformer.transform(LogicSchema logicSchema)
LogicSchema	SchemaTransformation.transformed()	Returns the value of the transformed record component.
LogicSchema	SchemaUnfolder.unfold(LogicSchema schema)

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes with parameters of type LogicSchema

Modifier and Type	Method	Description
protected void	LogicSchemaTransformationProcess.checkLogicSchema(LogicSchema logicSchema)
LogicSchema	PredicateCleaner.clean(LogicSchema logicSchema)
LogicSchema	TrivialLiteralCleaner.clean(LogicSchema logicSchema)
LogicSchema	LogicProcess.execute(LogicSchema logicSchema)	execute the transformation
LogicSchema	LogicProcessPipeline.execute(LogicSchema inputLogicSchema)	Executes the pipeline
LogicSchema	LogicSchemaTransformationProcess.execute(LogicSchema logicSchema)
SchemaTransformation	BodySorter.executeTransformation(LogicSchema logicSchema)
SchemaTransformation	EqualityReplacer.executeTransformation(LogicSchema logicSchema)
SchemaTransformation	PredicateCleaner.executeTransformation(LogicSchema logicSchema)
SchemaTransformation	SchemaTransformationProcess.executeTransformation(LogicSchema logicSchema)
SchemaTransformation	SchemaTransformationProcessPipeline.executeTransformation(LogicSchema inputLogicSchema)
SchemaTransformation	SchemaUnfolder.executeTransformation(LogicSchema logicSchema)
SchemaTransformation	SingleDerivationRuleTransformer.executeTransformation(LogicSchema logicSchema)
SchemaTransformation	TrivialLiteralCleaner.executeTransformation(LogicSchema logicSchema)
LogicSchema	BodySorter.sort(LogicSchema logicSchema)
LogicSchema	SingleDerivationRuleTransformer.transform(LogicSchema logicSchema)
LogicSchema	SchemaUnfolder.unfold(LogicSchema schema)

Constructors in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes with parameters of type LogicSchema

Modifier	Constructor	Description
	SchemaTransformation(LogicSchema original, LogicSchema transformed, SchemaTraceabilityMap schemaTraceabilityMap)	Creates an instance of a SchemaTransformation record class.