public class PointsToEngineMultiThread extends PointsToEngine
PointsToEngine.PointsToTimeoutException, PointsToEngine.StmtAndContext
Constructor and Description |
---|
PointsToEngineMultiThread(HeapAbstractionFactory haf) |
Modifier and Type | Method and Description |
---|---|
protected PointsToGraph |
solveImpl(StmtRegistrar registrar,
polyglot.frontend.ExtensionInfo extInfo) |
PointsToGraph |
solveMultithreaded(StmtRegistrar registrar,
polyglot.frontend.ExtensionInfo extInfo) |
checkReachedFixedpoint, checkTimeout, heapAbstractionFactory, setTimeout, solve, startSolution, startTime, timeout, timeoutTime, toString
public PointsToEngineMultiThread(HeapAbstractionFactory haf)
protected PointsToGraph solveImpl(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)
solveImpl
in class PointsToEngine
public PointsToGraph solveMultithreaded(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)