Package qilin.core.solver

Class Solver

java.lang.Object

qilin.core.solver.Propagator

qilin.core.solver.Solver

public class Solver
extends Propagator

Constructor Summary

Constructors

Constructor	Description
Solver(PTA pta)

Method Summary

Modifier and Type	Method	Description
void	processStmts(Iterator<ContextMethod> newRMs)
void	propagate()	Actually does the propagation.
protected void	propagatePTS(ValNode pointer, AllocNode heap)
protected void	propagatePTS(ValNode pointer, PointsToSetInternal other)

Methods inherited from class java.lang.Object

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

Constructor Details

Solver

public Solver(PTA pta)

Method Details

propagate

public void propagate()

Description copied from class: Propagator

Actually does the propagation.

Specified by:

propagate in class Propagator

processStmts

public void processStmts(Iterator<ContextMethod> newRMs)

propagatePTS

protected void propagatePTS(ValNode pointer,
 PointsToSetInternal other)

propagatePTS

protected void propagatePTS(ValNode pointer,
 AllocNode heap)