it.unibz.inf.ontop.model.atom.impl

Class TargetAtomImpl

java.lang.Object

it.unibz.inf.ontop.model.atom.impl.TargetAtomImpl

All Implemented Interfaces:

TargetAtom

public class TargetAtomImpl
extends Object
implements TargetAtom

Field Summary

Fields

Modifier and Type	Field and Description
protected DistinctVariableOnlyDataAtom	atom
protected ImmutableSubstitution<ImmutableTerm>	substitution

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TargetAtomImpl(DistinctVariableOnlyDataAtom atom, ImmutableSubstitution<ImmutableTerm> substitution)

Method Summary

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)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

atom

protected final DistinctVariableOnlyDataAtom atom

substitution

protected final ImmutableSubstitution<ImmutableTerm> substitution

Constructor Detail

TargetAtomImpl

protected TargetAtomImpl(DistinctVariableOnlyDataAtom atom,
                         ImmutableSubstitution<ImmutableTerm> substitution)

Method Detail

getProjectionAtom

public DistinctVariableOnlyDataAtom getProjectionAtom()

Specified by:

getProjectionAtom in interface TargetAtom

getSubstitution

public ImmutableSubstitution<ImmutableTerm> getSubstitution()

Specified by:

getSubstitution in interface TargetAtom

getSubstitutedTerm

public ImmutableTerm getSubstitutedTerm(int index)

Specified by:

getSubstitutedTerm in interface TargetAtom

getSubstitutedTerms

public com.google.common.collect.ImmutableList<ImmutableTerm> getSubstitutedTerms()

Specified by:

getSubstitutedTerms in interface TargetAtom

rename

public TargetAtom rename(InjectiveVar2VarSubstitution renamingSubstitution)

Specified by:

rename in interface TargetAtom

changeSubstitution

public TargetAtom changeSubstitution(ImmutableSubstitution<ImmutableTerm> newSubstitution)

Description copied from interface: TargetAtom

Returns a new (immutable) TargetAtom

Specified by:

changeSubstitution in interface TargetAtom

getPredicateIRI

public Optional<org.apache.commons.rdf.api.IRI> getPredicateIRI()

Specified by:

getPredicateIRI in interface TargetAtom

toString

public String toString()

Overrides:

toString in class Object