Uses of Package
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
Packages that use edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
Package
Description
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creationClassDescriptionInterface responsible for obtaining a constraint ID for a given LogicConstraintSpecFactory in charge of creating the corresponding subclass of Term for a given subclass of TermSpecBuilder for a logic schema.Class responsible for creating a logic schema for a given logic schema specification.
-
Classes in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation used by edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parserClassDescriptionClass responsible for creating a logic schema for a given logic schema specification.