it.unibz.inf.ontop.model.term.functionsymbol

Interface NotYetTypedEqualityFunctionSymbol

All Superinterfaces:

BooleanFunctionSymbol, FunctionSymbol, Predicate

All Known Implementing Classes:

NotYetTypedEqualityFunctionSymbolImpl

public interface NotYetTypedEqualityFunctionSymbol
extends BooleanFunctionSymbol

To be used when parsing the mapping and when an equality is found. Is expected to replaced later by a proper equality (may be strict or not)

Nested Class Summary

Nested classes/interfaces inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

FunctionSymbol.FunctionalTermNullability

Method Summary

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.BooleanFunctionSymbol

blocksNegation, negate, simplify2VL

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.FunctionSymbol

analyzeInjectivity, canBePostProcessed, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, inferType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.Predicate

getArity, getName