it.unibz.inf.ontop.model.atom

Interface DataAtom<P extends AtomPredicate>

All Known Subinterfaces:

DistinctVariableOnlyDataAtom

All Known Implementing Classes:

AbstractDataAtomImpl, DataAtomImpl, DistinctVariableOnlyDataAtomImpl

public interface DataAtom<P extends AtomPredicate>

Immutable data atom that only accepts variables and ground terms as arguments. In the future, this class could be disassociated from the Function class.

Method Summary

Modifier and Type	Method and Description
boolean	containsGroundTerms()
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm>	getArguments()
int	getArity()
int	getEffectiveArity() Effective arity (number of sub-terms).
P	getPredicate()
VariableOrGroundTerm	getTerm(int index)
it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable>	getVariables()

Method Detail

getPredicate

P getPredicate()

getArity

int getArity()

getEffectiveArity

int getEffectiveArity()

Effective arity (number of sub-terms).

getTerm

VariableOrGroundTerm getTerm(int index)

getArguments

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> getArguments()

getVariables

it.unibz.inf.ontop.com.google.common.collect.ImmutableSet<Variable> getVariables()

containsGroundTerms

boolean containsGroundTerms()