joeq.Compiler.Quad.IPA
Class Solver

java.lang.Object
  joeq.Compiler.Quad.IPA.Solver

public abstract class Solver
extends java.lang.Object

Solver

Version:

$Id: Solver.java,v 1.9 2006/05/16 00:47:32 cunkel Exp $

Author:

John Whaley

Field Summary

static boolean	TIMINGS
static boolean	TRACE
static boolean	TRACE_WORKLIST

Constructor Summary

Solver()

Method Summary

abstract void	dispose(jq_Method m)
abstract boolean	visit(jq_Method m, boolean loop)

Methods inherited from class java.lang.Object

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

Field Detail

TIMINGS

public static final boolean TIMINGS

See Also:

Constant Field Values

TRACE

public static final boolean TRACE

See Also:

Constant Field Values

TRACE_WORKLIST

public static final boolean TRACE_WORKLIST

See Also:

Constant Field Values

Constructor Detail

Solver

public Solver()

Method Detail

visit

public abstract boolean visit(jq_Method m,
                              boolean loop)

dispose

public abstract void dispose(jq_Method m)