public static class FlowFunction.ConstrainedFact<FieldRef,D,Stmt,Method>
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
FlowFunction.Constraint<FieldRef> |
getConstraint() |
WrappedFact<FieldRef,D,Stmt,Method> |
getFact() |
int |
hashCode() |
java.lang.String |
toString() |
public WrappedFact<FieldRef,D,Stmt,Method> getFact()
public FlowFunction.Constraint<FieldRef> getConstraint()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object