Uses of Package
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
Package
Description
-
ClassDescriptionInterface responsible for obtaining a constraint ID for a given LogicConstraintSpecBuilder for a logic schema.Class responsible for creating a logic schema for a given logic schema specification.
-
ClassDescriptionClass responsible for creating a logic schema for a given logic schema specification.