Class Hierarchy
- java.lang.Object
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BuiltInLiteralSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec)
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicSchemaSpec<T> (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.NormalClauseSpec
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec)
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
- java.lang.Record
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BodySpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.QuerySetSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec (implements edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec)
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.ConstantSpec
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.VariableSpec
Interface Hierarchy
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicElementSpec
- edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec