public interface TargetAtom
| Modifier and Type | Method and Description |
|---|---|
TargetAtom |
changeSubstitution(it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> newSubstitution)
Returns a new (immutable) TargetAtom
|
Optional<org.apache.commons.rdf.api.IRI> |
getPredicateIRI() |
it.unibz.inf.ontop.model.atom.DistinctVariableOnlyDataAtom |
getProjectionAtom() |
it.unibz.inf.ontop.model.term.ImmutableTerm |
getSubstitutedTerm(int index) |
com.google.common.collect.ImmutableList<it.unibz.inf.ontop.model.term.ImmutableTerm> |
getSubstitutedTerms() |
it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> |
getSubstitution() |
TargetAtom |
rename(it.unibz.inf.ontop.substitution.InjectiveVar2VarSubstitution renamingSubstitution) |
it.unibz.inf.ontop.model.atom.DistinctVariableOnlyDataAtom getProjectionAtom()
it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> getSubstitution()
it.unibz.inf.ontop.model.term.ImmutableTerm getSubstitutedTerm(int index)
com.google.common.collect.ImmutableList<it.unibz.inf.ontop.model.term.ImmutableTerm> getSubstitutedTerms()
TargetAtom rename(it.unibz.inf.ontop.substitution.InjectiveVar2VarSubstitution renamingSubstitution)
TargetAtom changeSubstitution(it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> newSubstitution)
Optional<org.apache.commons.rdf.api.IRI> getPredicateIRI()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.