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