Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral
Packages that use BuiltInLiteral
Package
Description
-
Uses of BuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
Subclasses of BuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.domainModifier and TypeClassDescriptionclass
Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()class
Implementation of the logic comparison built-in literal.class
Implementation of non-standard built-in literals.class
-
Uses of BuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation that return BuiltInLiteral -
Uses of BuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers with parameters of type BuiltInLiteralModifier and TypeMethodDescriptionstatic BuiltInLiteralSpec
LogicSchemaToSpecHelper.buildBuiltInLiteralSpec
(BuiltInLiteral builtInLiteral)