org.deri.iris.api.basics
Interface IPredicate

All Superinterfaces:

Comparable<IPredicate>

All Known Implementing Classes:

AdornedProgram.AdornedPredicate, Predicate

public interface IPredicate
extends Comparable<IPredicate>

A predicate is either a relation or the boolean-valued function that amounts to the characteristic function or the indicator function of such a relation.

A predicate is characterized by a predicate symbol and an arity of the predicate.

$Id: IPredicate.java,v 1.7 2007-07-25 08:16:56 poettler_ric Exp $

Version:

$Revision: 1.7 $

Author:

Darko Anicic, DERI Innsbruck, Richard P??ttler (richard dot poettler at deri dot at)

Method Summary

int	getArity() Returns the arity of the predicate.
String	getPredicateSymbol() Returns the predicate symbol.

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getPredicateSymbol

String getPredicateSymbol()

Returns the predicate symbol.

Returns:

The predicate symbol.

getArity

int getArity()

Returns the arity of the predicate.

Returns:

The arity.