it.unibz.inf.ontop.model.atom

Interface DistinctVariableOnlyDataAtom

All Superinterfaces:

DataAtom<AtomPredicate>

All Known Implementing Classes:

DistinctVariableOnlyDataAtomImpl

public interface DistinctVariableOnlyDataAtom
extends DataAtom<AtomPredicate>

TODO: find a better name Data atom only composed of variables; all these variables are distinct.

Method Summary

Modifier and Type	Method and Description
it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable>	getArguments()
Variable	getTerm(int index)

Methods inherited from interface it.unibz.inf.ontop.model.atom.DataAtom

containsGroundTerms, getArity, getEffectiveArity, getPredicate, getVariables

Method Detail

getArguments

it.unibz.inf.ontop.com.google.common.collect.ImmutableList<Variable> getArguments()

Specified by:

getArguments in interface DataAtom<AtomPredicate>

getTerm

Variable getTerm(int index)

Specified by:

getTerm in interface DataAtom<AtomPredicate>