WrappedFactAtStatement

public class WrappedFactAtStatement<Field,Fact,Stmt,Method>
extends java.lang.Object

Constructors
Constructor and Description
`WrappedFactAtStatement(Stmt stmt, WrappedFact<Field,Fact,Stmt,Method> fact)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`canDeltaBeApplied(AccessPath.Delta<Field> delta)`
`boolean`	`equals(java.lang.Object obj)`
`AccessPath<Field>`	`getAccessPath()`
`FactAtStatement<Fact,Stmt>`	`getAsFactAtStatement()`
`Fact`	`getFact()`
`Resolver<Field,Fact,Stmt,Method>`	`getResolver()`
`Stmt`	`getStatement()`
`WrappedFact<Field,Fact,Stmt,Method>`	`getWrappedFact()`
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public WrappedFactAtStatement(Stmt stmt,
                              WrappedFact<Field,Fact,Stmt,Method> fact)

public WrappedFact<Field,Fact,Stmt,Method> getWrappedFact()

public AccessPath<Field> getAccessPath()

public Resolver<Field,Fact,Stmt,Method> getResolver()

public FactAtStatement<Fact,Stmt> getAsFactAtStatement()

public boolean canDeltaBeApplied(AccessPath.Delta<Field> delta)

public boolean equals(java.lang.Object obj)

Class WrappedFactAtStatement<Field,Fact,Stmt,Method>