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 and Description
Propagator()

Method Summary

Modifier and Type	Method and 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 Detail

Propagator

public Propagator()

Method Detail

propagate

public abstract void propagate()

Actually does the propagation.