Package qilin.core.solver

Class Propagator

java.lang.Object

qilin.core.solver.Propagator

Direct Known Subclasses:

Solver

public abstract class Propagator
extends Object

Abstract base class for a propagator that propagates points-to sets along pointer assignment graph.

Author:

Ondrej Lhotak

Constructor Summary

Constructors

Constructor	Description
Propagator()

Method Summary

Modifier and Type	Method	Description
abstract void	propagate()	Actually does the propagation.

Methods inherited from class java.lang.Object

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

Constructor Details

Propagator

public Propagator()

Method Details

propagate

public abstract void propagate()

Actually does the propagation.