Package it.unive.lisa

Class LiSARunner<A extends AbstractState<A>>

java.lang.Object

it.unive.lisa.LiSARunner<A>

Type Parameters:

A - the type of AbstractState contained into the analysis state that will be used in the analysis fixpoint

public class LiSARunner<A extends AbstractState<A>>
extends java.lang.Object

An auxiliary analysis runner for executing LiSA analysis.

Method Summary

Methods inherited from class java.lang.Object

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