Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral

Packages that use OrdinaryLiteral

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Uses of OrdinaryLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return OrdinaryLiteral

Modifier and Type	Method	Description
OrdinaryLiteral	OrdinaryLiteral.applySubstitution(Substitution substitution)
OrdinaryLiteral	OrdinaryLiteral.buildNegatedLiteral()

Uses of OrdinaryLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor with parameters of type OrdinaryLiteral

Modifier and Type	Method	Description
T	LogicSchemaVisitor.visit(OrdinaryLiteral ordinaryLiteral)

Uses of OrdinaryLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator with parameters of type OrdinaryLiteral

Modifier and Type	Method	Description
Optional<Substitution>	DerivedOrdinaryLiteralHomomorphismCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
Optional<Substitution>	HomomorphicRulesHomomorphismCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
Optional<Substitution>	SamePredicateNameCriteria.computeHomomorphismExtensionForDerivedOrdinaryLiteral(HomomorphismFinder homomorphismFinder, Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForOrdinaryLiteral(Substitution currentSubstitution, OrdinaryLiteral domainLiteral, OrdinaryLiteral rangeLiteral)

Uses of OrdinaryLiteral 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 OrdinaryLiteral

Modifier and Type	Method	Description
OrdinaryLiteral	LiteralFactory.buildOrdinaryLiteral(OrdinaryLiteralSpec olSpec)

Uses of OrdinaryLiteral 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 OrdinaryLiteral

Modifier and Type	Method	Description
static OrdinaryLiteralSpec	LogicSchemaToSpecHelper.buildOrdinaryLiteralSpec(OrdinaryLiteral ordinaryLiteral)

Uses of OrdinaryLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer with parameters of type OrdinaryLiteral

Modifier and Type	Method	Description
String	LogicSchemaPrinter.visit(OrdinaryLiteral ordinaryLiteral)