Class InvariantExecutor

public class InvariantExecutor

extends java.lang.Object

The global InvariantExecutor. It handles the pool of threads to compute the invariant values.

Field Summary
`static InvariantExecutor`	`INSTANCE`

Method Summary
`void`	`execute(AbstractInvariantRunnable command)` Execute the given runnable
`int`	`getCount()`

public static InvariantExecutor INSTANCE

public void execute(AbstractInvariantRunnable command)

Execute the given runnable
Parameters:
command - Runnable to execute

public int getCount()

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Field Summary