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

Interface ConstraintIDGenerator<T extends LogicConstraintSpec>

Type Parameters:
T - kind of LogicConstraintSpec the interface works with
All Known Implementing Classes:
IncrementalConstraintIDGenerator, UseSpecIDGenerator
public interface ConstraintIDGenerator<T extends LogicConstraintSpec>
Interface responsible for obtaining a constraint ID for a given LogicConstraintSpec

  • Method Details