Uses of Interface
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes.LogicProcess

Packages that use LogicProcess

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

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

Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes that implement LogicProcess

Modifier and Type	Class	Description
class	BodySorter	Service 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.
class	EqualityReplacer	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.
class	LogicProcessPipeline	A pipeline of LogicProcesses.
class	LogicSchemaTransformationProcess
class	PredicateCleaner	Service that removes all those predicates (base or derived) that are not used in any LogicConstraint (neither directly, neither transitively)
class	SchemaTransformationProcessPipeline	A pipeline of SchemaTransformationProcessPipeline.
class	SchemaUnfolder	This class is responsible for recursively unfolding the positive derived literals of a logic schema.
class	SingleDerivationRuleTransformer	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.
class	TrivialLiteralCleaner	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.

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes with type arguments of type LogicProcess

Modifier	Constructor	Description
	LogicProcessPipeline(List<LogicProcess> logicProcesses)