de.rwth.domains
Interface Function

All Known Implementing Classes:

TabledFunction, IdentityFunction, KillGenBitVectorFunction, ComposedFunction, ConstantFunction, CPAbstraction.CPFunction, SSAbstraction.SSFunction

public interface Function

Interface for describing mathematical functions.

Version:

$Id: Function.java,v 1.2 2002/09/17 06:53:53 mohnen Exp $

Author:

Markus Mohnen

Inner Class Summary

static class

Function.Tools Contains implementations of useful tools for functions.

Method Summary

java.lang.Object	apply(java.lang.Object x) Applies this function to an argument and returns the result.
Set	getDomain() Returns the domain of this function.
Set	getRange() Returns the range (co-domain) of this function.

Method Detail

getDomain

public Set getDomain()

Returns the domain of this function.

Returns:

a value of type Set

getRange

public Set getRange()

Returns the range (co-domain) of this function.

Returns:

a value of type Set

apply

public java.lang.Object apply(java.lang.Object x)
                       throws FunctionException

Applies this function to an argument and returns the result.

Parameters:

x - the argument

Returns:

this function's value for argument x

Throws:

FunctionException - if x is not an element of the functions domain.