Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
-
ClassDescriptionConstraintIDGenerator<T extends LogicConstraintSpec>Interface responsible for obtaining a constraint ID for a given LogicConstraintSpecIncremental strategy for obtaining the IDs of newly created logic constraints.LogicSchemaBuilder<T extends LogicConstraintSpec>Builder for a logic schema.LogicSchemaFactory<T extends LogicConstraintSpec>Class responsible for creating a logic schema for a given logic schema specification.Factory in charge of creating the corresponding subclass of Term for a given subclass of TermSpecStrategy for obtaining the ID of a new logic constraint consisting in taking the id from its specification