com.ibm.wala.logic
Interface IRelation

All Known Implementing Classes:

BinaryRelation, UnaryRelation

public interface IRelation

an n-ary relational predicate symbol

Method Summary

java.lang.String	getSymbol()
int	getValence()

Method Detail

getValence

int getValence()

Returns:

the arity, or valence of this relation

getSymbol

java.lang.String getSymbol()

Returns:

a string which uniquely identifies this relation