public class TargetAtomImpl extends Object implements TargetAtom
| Modifier and Type | Field and Description |
|---|---|
protected it.unibz.inf.ontop.model.atom.DistinctVariableOnlyDataAtom |
atom |
protected it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> |
substitution |
| Modifier | Constructor and Description |
|---|---|
protected |
TargetAtomImpl(it.unibz.inf.ontop.model.atom.DistinctVariableOnlyDataAtom atom,
it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> substitution) |
| 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) |
String |
toString() |
protected final it.unibz.inf.ontop.model.atom.DistinctVariableOnlyDataAtom atom
protected final it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> substitution
protected TargetAtomImpl(it.unibz.inf.ontop.model.atom.DistinctVariableOnlyDataAtom atom,
it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> substitution)
public it.unibz.inf.ontop.model.atom.DistinctVariableOnlyDataAtom getProjectionAtom()
getProjectionAtom in interface TargetAtompublic it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> getSubstitution()
getSubstitution in interface TargetAtompublic it.unibz.inf.ontop.model.term.ImmutableTerm getSubstitutedTerm(int index)
getSubstitutedTerm in interface TargetAtompublic com.google.common.collect.ImmutableList<it.unibz.inf.ontop.model.term.ImmutableTerm> getSubstitutedTerms()
getSubstitutedTerms in interface TargetAtompublic TargetAtom rename(it.unibz.inf.ontop.substitution.InjectiveVar2VarSubstitution renamingSubstitution)
rename in interface TargetAtompublic TargetAtom changeSubstitution(it.unibz.inf.ontop.substitution.ImmutableSubstitution<it.unibz.inf.ontop.model.term.ImmutableTerm> newSubstitution)
TargetAtomchangeSubstitution in interface TargetAtompublic Optional<org.apache.commons.rdf.api.IRI> getPredicateIRI()
getPredicateIRI in interface TargetAtomCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.