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, isAlwaysInjectiveInTheAbsenceOfNonInjectiveFunctionalTermsgetTargetType, inferType, isPreferringToBePostProcessedOverBeingBlocked, mayReturnNullWithoutNullArguments, tolerateNullsanalyzeInjectivity, buildTermAfterEvaluation, canBeSafelyDecomposedIntoConjunction, decomposeInjectiveTopFunctionalTerm, enableIfElseNullLifting, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, evaluateStrictEqWithFunctionalTerm, evaluateStrictEqWithNonNullConstant, getExpectedBaseType, getExpectedBaseTypes, isAggregation, isDeterministic, isInjective, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNull, transformIntoRegularArguments, tryToLiftMagicNumbersequals, getArity, getName, hashCode, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitsimplify2VLisPreferringToBePostProcessedOverBeingBlockedanalyzeInjectivity, canBePostProcessed, evaluateIsNotNull, evaluateNullability, evaluateStrictEq, getExpectedBaseType, inferType, isAggregation, isDeterministic, isNullable, proposeProvenanceVariables, simplify, simplifyAsGuaranteedToBeNonNullprotected 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.BooleanFunctionSymbolpublic 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.BooleanFunctionSymbolCopyright © 2016–2021 Smart Data Analytics (SDA) Research Group. All rights reserved.