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

Packages that use ComparisonBuiltInLiteral

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 ComparisonBuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Subclasses of ComparisonBuiltInLiteral in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Modifier and Type	Class	Description
class	EqualityComparisonBuiltInLiteral

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

Modifier and Type	Method	Description
ComparisonBuiltInLiteral	ComparisonBuiltInLiteral.applySubstitution(Substitution substitution)	Constructs new ComparisonBuiltInLiteral after applying the substitution to the literal terms.
ComparisonBuiltInLiteral	ComparisonBuiltInLiteral.buildNegatedLiteral()

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

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

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

Modifier and Type	Method	Description
String	LogicSchemaPrinter.visit(ComparisonBuiltInLiteral comparisonBuiltInLiteral)