it.unibz.inf.ontop.model.term.impl

Class GroundTermTools

java.lang.Object

it.unibz.inf.ontop.model.term.impl.GroundTermTools

public class GroundTermTools
extends Object

Constructor Summary

Constructors

Constructor and Description
GroundTermTools()

Method Summary

Modifier and Type	Method and Description
static boolean	areGroundTerms(Collection<? extends ImmutableTerm> terms)
static void	checkNonGroundTermConstraint(NonGroundFunctionalTerm term)
static VariableOrGroundTerm	convertIntoVariableOrGroundTerm(ImmutableTerm term)

Methods inherited from class java.lang.Object

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

Constructor Detail

GroundTermTools

public GroundTermTools()

Method Detail

convertIntoVariableOrGroundTerm

public static VariableOrGroundTerm convertIntoVariableOrGroundTerm(ImmutableTerm term)

areGroundTerms

public static boolean areGroundTerms(Collection<? extends ImmutableTerm> terms)

checkNonGroundTermConstraint

public static void checkNonGroundTermConstraint(NonGroundFunctionalTerm term)
                                         throws IllegalArgumentException

Throws:

IllegalArgumentException