com.ibm.wala.logic
Class UnaryFunction

java.lang.Object
  com.ibm.wala.logic.UnaryFunction

All Implemented Interfaces:

IFunction

public class UnaryFunction
extends java.lang.Object
implements IFunction

Method Summary

static java.util.Collection<IFormula>	buildConstraints(IBinaryNaturalRelation R, UnaryFunction f, IntPair domain) Build constraints which ensure that the function f defines the relation R.
int	getNumberOfParameters()
java.lang.String	getSymbol()
static UnaryFunction	make(java.lang.String symbol)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

make

public static UnaryFunction make(java.lang.String symbol)

getNumberOfParameters

public int getNumberOfParameters()

Specified by:

getNumberOfParameters in interface IFunction

Returns:

the number of parameters to this function

getSymbol

public java.lang.String getSymbol()

Specified by:

getSymbol in interface IFunction

Returns:

a string which uniquely identifies this relation

buildConstraints

public static java.util.Collection<IFormula> buildConstraints(IBinaryNaturalRelation R,
                                                              UnaryFunction f,
                                                              IntPair domain)

Build constraints which ensure that the function f defines the relation R.

Parameters:

domain -

Throws:

java.lang.IllegalArgumentException - if domain is null

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object