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

Packages that use BooleanBuiltInLiteral

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.printer

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

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

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

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

Modifier and Type	Method	Description
T	LogicSchemaVisitor.visit(BooleanBuiltInLiteral comparisonBuiltInLiteral)

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

Modifier and Type	Method	Description
String	LogicSchemaPrinter.visit(BooleanBuiltInLiteral booleanBuiltInLiteral)