eu.project.ttc.tools.utils

Interface TermPredicate

public interface TermPredicate

A predicate for filtering terms.

Method Summary

Modifier and Type	Method and Description
boolean	accept(Term term) Accepts a term depending on an implementation dependent condition.

Method Detail

accept

boolean accept(Term term)

Accepts a term depending on an implementation dependent condition.

Parameters:

term - The term to verify

Returns:

true if the term is accepted or false otherwise.