public class DBBooleanFunctionSymbolWithSerializerImpl
extends it.unibz.inf.ontop.model.term.functionsymbol.db.impl.DBFunctionSymbolWithSerializerImpl
implements it.unibz.inf.ontop.model.term.functionsymbol.db.DBBooleanFunctionSymbol
Modifier | Constructor and Description |
---|---|
protected |
DBBooleanFunctionSymbolWithSerializerImpl(String name,
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<it.unibz.inf.ontop.model.type.TermType> inputDBTypes,
it.unibz.inf.ontop.model.type.DBTermType dbBooleanType,
boolean isAlwaysInjective,
it.unibz.inf.ontop.model.term.functionsymbol.db.DBFunctionSymbolSerializer serializer) |
Modifier and Type | Method and Description |
---|---|
boolean |
blocksNegation() |
it.unibz.inf.ontop.model.term.ImmutableExpression |
negate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends it.unibz.inf.ontop.model.term.ImmutableTerm> subTerms,
it.unibz.inf.ontop.model.term.TermFactory termFactory) |
canBePostProcessed, getNativeDBString, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTerms
getTargetType, inferType, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments, tolerateNulls
analyzeInjectivity, buildTermAfterEvaluation, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, transformIntoRegularArguments, tryToLiftMagicNumbers
equals, getArity, getName, hashCode, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
simplify2VL
isPreferringToBePostProcessedOverBeingBlocked
analyzeInjectivity, canBePostProcessed, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, inferType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull
protected DBBooleanFunctionSymbolWithSerializerImpl(String name, it.unibz.inf.ontop.com.google.common.collect.ImmutableList<it.unibz.inf.ontop.model.type.TermType> inputDBTypes, it.unibz.inf.ontop.model.type.DBTermType dbBooleanType, boolean isAlwaysInjective, it.unibz.inf.ontop.model.term.functionsymbol.db.DBFunctionSymbolSerializer serializer)
public boolean blocksNegation()
blocksNegation
in interface it.unibz.inf.ontop.model.term.functionsymbol.BooleanFunctionSymbol
public it.unibz.inf.ontop.model.term.ImmutableExpression negate(it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends it.unibz.inf.ontop.model.term.ImmutableTerm> subTerms, it.unibz.inf.ontop.model.term.TermFactory termFactory)
negate
in interface it.unibz.inf.ontop.model.term.functionsymbol.BooleanFunctionSymbol
Copyright © 2016–2021 Smart Data Analytics (SDA) Research Group. All rights reserved.