Uses of Enum Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonOperator
Package
Description
-
Uses of ComparisonOperator in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
Modifier and TypeMethodDescriptionComparisonOperator.getNegatedOperator()
ComparisonBuiltInLiteral.getOperator()
ComparisonOperator.getSymmetric()
static ComparisonOperator
Returns the enum constant of this class with the specified name.static ComparisonOperator[]
ComparisonOperator.values()
Returns an array containing the constants of this enum class, in the order they are declared.Modifier and TypeMethodDescriptionstatic Optional<ComparisonOperator>
ComparisonOperator.fromSymbol
(String symbol) Modifier and TypeMethodDescriptionboolean
ComparisonOperator.isSymmetric
(ComparisonOperator rangeOperator) ModifierConstructorDescriptionComparisonBuiltInLiteral
(Term leftTerm, Term rightTerm, ComparisonOperator operator) -
Uses of ComparisonOperator in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
Modifier and TypeMethodDescriptionLogicSchemaVisitor.visit
(ComparisonOperator comparisonOperator) -
Uses of ComparisonOperator in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer
Modifier and TypeMethodDescriptionLogicSchemaPrinter.visit
(ComparisonOperator comparisonOperator)