Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral
Package
Description
-
Uses of BuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
Modifier and TypeClassDescriptionclass
Implementation of BooleanBuiltInLiteral constants TRUE(), and FALSE()class
Implementation of the logic ComparisonBuiltInLiteral.class
Implementation of non-standard built-in literals.class
-
Uses of BuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
-
Uses of BuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
Modifier and TypeMethodDescriptionstatic BuiltInLiteralSpec
LogicSchemaToSpecHelper.buildBuiltInLiteralSpec
(BuiltInLiteral builtInLiteral)