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