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

Class AbstractDataAtomImpl<P extends AtomPredicate>

java.lang.Object

it.unibz.inf.ontop.model.atom.impl.AbstractDataAtomImpl<P>

All Implemented Interfaces:

DataAtom<P>

Direct Known Subclasses:

DataAtomImpl, DistinctVariableOnlyDataAtomImpl

public abstract class AbstractDataAtomImpl<P extends AtomPredicate>
extends Object
implements DataAtom<P>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractDataAtomImpl(P predicate, com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> variableOrGroundTerms)
protected	AbstractDataAtomImpl(P predicate, VariableOrGroundTerm... variableOrGroundTerms)

Method Summary

Modifier and Type	Method and Description
boolean	containsGroundTerms()
boolean	equals(Object other) TODO: improve
com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm>	getArguments()
int	getArity()
int	getEffectiveArity() Effective arity (number of sub-terms).
P	getPredicate()
VariableOrGroundTerm	getTerm(int index)
com.google.common.collect.ImmutableSet<Variable>	getVariables()
protected static boolean	hasDuplicates(DataAtom atom)
int	hashCode()
String	toString() Cached toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AbstractDataAtomImpl

protected AbstractDataAtomImpl(P predicate,
                               com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> variableOrGroundTerms)

AbstractDataAtomImpl

protected AbstractDataAtomImpl(P predicate,
                               VariableOrGroundTerm... variableOrGroundTerms)

Method Detail

getPredicate

public P getPredicate()

Specified by:

getPredicate in interface DataAtom<P extends AtomPredicate>

getArity

public int getArity()

Specified by:

getArity in interface DataAtom<P extends AtomPredicate>

getEffectiveArity

public int getEffectiveArity()

Description copied from interface: DataAtom

Effective arity (number of sub-terms).

Specified by:

getEffectiveArity in interface DataAtom<P extends AtomPredicate>

getArguments

public com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> getArguments()

Specified by:

getArguments in interface DataAtom<P extends AtomPredicate>

containsGroundTerms

public boolean containsGroundTerms()

Specified by:

containsGroundTerms in interface DataAtom<P extends AtomPredicate>

getTerm

public VariableOrGroundTerm getTerm(int index)

Specified by:

getTerm in interface DataAtom<P extends AtomPredicate>

getVariables

public com.google.common.collect.ImmutableSet<Variable> getVariables()

Specified by:

getVariables in interface DataAtom<P extends AtomPredicate>

hasDuplicates

protected static boolean hasDuplicates(DataAtom atom)

equals

public boolean equals(Object other)

TODO: improve

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Cached toString()

Overrides:

toString in class Object