org.grinvin.invariants

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()

Field Details

INSTANCE

public static InvariantExecutor INSTANCE

Method Details

execute

public void execute(AbstractInvariantRunnable command)
Execute the given runnable
Parameters:
command - Runnable to execute

getCount

public int getCount()